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