Login / Signup
A Fast Linear-Arithmetic Solver for DPLL(T).
Bruno Dutertre
Leonardo Mendonça de Moura
Published in:
CAV (2006)
Keyphrases
</>
clause learning
sat solving
np complete
sat solvers
propositional logic
neural network
genetic algorithm
knowledge base
first order logic
branch and bound
linear systems
linear constraints