Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003 Santa Margherita Ligure, Italy, May 5-8, 2003 Selected ... 2919 (Lecture Notes in Computer Science)
by Enrico Giunchiglia,Armando Tacchella
ISBN 13: 9783540208518
Format: Illustrated (544 pages) Publisher: Springer Published: 22 Feb 2009
Save for later
SAT 2005: Satisfiability Research in the Year 2005
by Enrico Giunchiglia,Toby Walsh
ISBN 13: 9789400787155
Format: Paperback (300 pages) Publisher: Springer Published: 03 Dec 2014