Chaff engineering an efficient SAT solver

Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to this problem for problem instances encountered in a range of applications in Electronic Design Automation (EDA), as well...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Design Automation, 2001 Proceedings S. 530 - 535
Hauptverfasser:	Moskewicz, Matthew W., Madigan, Conor F., Zhao, Ying, Zhang, Lintao, Malik, Sharad
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 01.01.2001 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	Applied computing > Physical sciences and engineering > Engineering Artificial intelligence Business continuity Computer systems organization > Dependable and fault-tolerant systems and networks Design automation Design engineering Electronic design automation and methodology Electronics packaging General and reference > Cross-computing tools and techniques > Performance Hardware > Robustness Logic testing Networks > Network performance evaluation NP-complete problem Performance gain Permission Theory of computation > Computational complexity and cryptography > Interactive proof systems Theory of computation > Computational complexity and cryptography > Proof complexity Theory of computation > Logic > Proof theory boolean satisfiability design verification
ISBN:	1581132972, 9781581132977
ISSN:	0738-100X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!