Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA.
Papers and an abstract."The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researcher...
"The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT) ." -- pref.
"SAT 2006 was part of FLoC 2006, (...) hosted, in addition to SAT, LICS, RTA, CAV, ICLP and IJCAR." -- pref.
書誌注記
Includes bibliographical references and author index.