A Fast Sat Solver Strategy Based on Negated Clauses

AuthID
P-00P-3KW
3
Author(s)
Coelho, CN
3
Editor(es)
De, G; Reis, R; Simeu, E
Tipo de Documento
Proceedings Paper
Year published
2006
Publicado
in IFIP VLSI-SOC 2006: IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION & SYSTEM-ON-CHIP
Páginas: 110-+ (2)
Conference
International Conference on Very Large Scale Integration and System-On-Chip, Date: OCT 16-18, 2006, Location: Nice, FRANCE, Patrocinadores: IFIP WG 10 5, IEEE CEDA, TIMA Lab, IFIP, Tima CNRS, Tima INPG, Tima UJF, CEDA, IEEE, Mentor Graph, IEEE France Sect, SIGda, ST Microelect
Indexing
Publication Identifiers
Wos: WOS:000243523900020
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.