Theory and applications of satisfiability testing-- SAT 2010 by SAT 2010 (2010 Edinburgh, UK) cover

Theory and applications of satisfiability testing-- SAT 2010

by SAT 2010 (2010 Edinburgh, UK)

Genre: ai

Description

Theory and applications of satisfiability testing-- SAT 2010 by SAT 2010 (2010 Edinburgh, UK). Read online or download for free.