Finding read-once resolution refutations in systems of 2CNF clauses.

Hans Kleine Büning Piotr J. Wojciechowski K. Subramani

Published in: Theor. Comput. Sci. (2018)

Keyphrases

clause learning
building blocks
complex systems
data sets
management system
computer systems
search space
distributed systems
information systems
high resolution
learning systems
sat solvers
cnf formula
boolean formula