Theory and Applications of Satisfiability Testing
Subtitle: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science)
Contributors: Enrico Giunchiglia (Editor); Armando Tacchella (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 19, 2004
Language: eng
Format: Paperback
Number of pages: 530
ISBN-13: 9783540208518
Subjects: Mathematical logic; Propositional calculus; Decision making; Mathematics; Science/Mathematics; Computer algorithms; Mathematics / Logic; Congresses; Logic