Theory and applications of satisfiability testing：6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers

Corporate Authors: SAT 2003 (2003 Santa Margherita Ligure, Italy
Group Author: Giunchiglia Enrico; Tacchella Armando
Published: Springer,
Publication Dates: c2004.
Call Number: TP301.6-532/S253/2003