A Fast Sat Solver Strategy Based on Negated Clauses

AuthID
P-00P-3KW
3
Author(s)
Coelho, CN
3
Editor(s)
De, G; Reis, R; Simeu, E
Document Type
Proceedings Paper
Year published
2006
Published
in IFIP VLSI-SOC 2006: IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION & SYSTEM-ON-CHIP
Pages: 110-+ (2)
Conference
International Conference on Very Large Scale Integration and System-On-Chip, Date: OCT 16-18, 2006, Location: Nice, FRANCE, Sponsors: 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
Marked List
Info
At this moment we don't have any links to full text documens.