Sign in
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