Theory and applications of satisfiability testing -- SAT 2006：9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings

Corporate Authors: SAT 2006 (2006 Seattle, Wash.); SpringerLink (Online service)
Group Author: Gomes Carla.; Biere Armin.
Published: Springer,
Publication Dates: c2006.