Login / Signup

From Resolution and DPLL to Solving Arithmetic Constraints.

Konstantin Korovin
Published in: FroCos (2013)
Keyphrases
  • arithmetic constraints
  • clause learning
  • sat solvers
  • np complete
  • sat solving
  • constraint satisfaction problems
  • sat instances
  • databases
  • arc consistency
  • optimal solution
  • first order logic
  • combinatorial optimization