Encoding Redundancy for Satisfaction-Driven Clause Learning.

Marijn J. H. Heule Benjamin Kiesl Armin Biere

Published in: TACAS (1) (2019)

Keyphrases

clause learning
sat solvers
satisfiability problem
sat problem
genetic algorithm
evolutionary algorithm
user satisfaction
propositional satisfiability