Connecting ABT with a SAT Solver.

Jesús Giráldez-Cru Guillermo Martín-Sánchez Pedro Meseguer

Published in: STAIRS (2016)

Keyphrases

sat solvers
sat solving
orders of magnitude
propositional satisfiability
boolean satisfiability
sat instances
constraint satisfaction
sat problem
search strategies
search tree
max sat
search space
boolean formula
clause learning
constraint programming