Integrating Algebraic and SAT Solvers.

Jan Horácek Jan Burchard Bernd Becker Martin Kreuzer

Published in: MACIS (2017)

Keyphrases

sat solvers
orders of magnitude
boolean satisfiability
propositional satisfiability
sat solving
constraint satisfaction
search space
max sat
sat problem
search tree
search strategies
sat instances
weighted max sat
clause learning
keywords
search strategy
boolean formula
description logics
sat encodings
state space