Theory and applications of satisfiability testing-- SAT 2010：13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings

Corporate Authors: SAT 2010 (2010 Edinburgh, Scotland); SpringerLink (Online serveice)
Group Author: Szeider Stefan.; Strichman Ofer.
Published: Springer,
Publication Dates: c2010.