Minimally Unsatisfiable Boolean Circuits.

Anton Belov, Joo Marques-Silva

Browse the full SAT paper archive.