On the structure of some classes of minimal unsatisfiable formulas.

Hans Kleine Büning Xishun Zhao

Published in: Discret. Appl. Math. (2003)

Keyphrases

unsatisfiable cores
data structure
class labels
hierarchical structure
learning algorithm
tree structure
sat solvers
complex structures