Publications

Minimally Unsatisfiable Boolean Circuits

AuthID
P-00F-X12

Author(s)

Belov, A

Marques Silva, JP

Editor(s)

Sakallah,KA;Simon,L

Document Type

Proceedings Paper

Year published

2011

Published

in Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6695, Pages: 145-158

Conference

14Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2011, Date: 19 June 2011 through 22 June 2011, Location: Ann Arbor, MI, Sponsors: Microsoft Research;Microsoft Research INRIA Joint Centre;University of Michigan;University of Orsay Paris-Sud 11

Indexing