20121224 meeting standard cell routing via boolean satisfiability_mori ver
Knowledge Representation and Reasoning University "Politehnica" of Bucharest Department of Computer Science Fall 2011 Adina Magda Florea .
The Model Evolution Calculus Peter Baumgartner, MPI Saarbruecken and U Koblenz Cesare Tinelli, U Iowa.
Experiences with QBF Solvers Sharad Malik Princeton University BMC Workshop Edinburgh July 11, 2005.
Knowledge Representation and Reasoning
Barriers in Hamiltonian Complexity Umesh V. Vazirani U.C. Berkeley.