Giunchiglia, Enrico Tacchella, Armando Eds.,
Theory and applications of satisfiability testing - Berlin Springer 2004 - 530 - Lecture notes in computer science ; 02919 .
3540208518
681 LNCS
Theory and applications of satisfiability testing - Berlin Springer 2004 - 530 - Lecture notes in computer science ; 02919 .
3540208518
681 LNCS