Login / Signup

A Fast Linear-Arithmetic Solver for DPLL(T).

Bruno DutertreLeonardo 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