Login / Signup
Practical algorithms for unsatisfiability proof and core generation in SAT solvers.
Roberto Javier Asín Achá
Robert Nieuwenhuis
Albert Oliveras
Enric Rodríguez-Carbonell
Published in:
AI Commun. (2010)
Keyphrases
</>
sat solvers
orders of magnitude
max sat
propositional satisfiability
data structure
combinatorial optimization
learning algorithm
computational complexity
simulated annealing
theorem proving
sat instances
stochastic local search
sat solving