The Complexity of Some Subclasses of Minimal Unsatis able Formulas.

Hans Kleine Büning Xishun Zhao

Published in: J. Satisf. Boolean Model. Comput. (2007)

Keyphrases

computational complexity
unsatisfiable cores
information systems
image sequences
decision problems
memory requirements