Efficient Generation of Unsatisfiability Proofs and Cores in SAT.

Roberto Asín Robert Nieuwenhuis Albert Oliveras Enric Rodríguez-Carbonell

Published in: LPAR (2008)

Keyphrases

lightweight
data sets
genetic algorithm
max sat
real time
search algorithm
relational databases
combinatorial optimization
sat solvers
search tree
theorem proving