Theory and Applications of Satisfiability Testing - SAT 2010
Publisher: Springer
Published: Apr 26, 2011
Format: paperback
ISBN-13: 9783642141874