Login / Signup

A Simple and Efficient Boolean Solver for Constraint Logic Programming.

Philippe CodognetDaniel Diaz
Published in: J. Autom. Reason. (1996)
Keyphrases
  • constraint logic programming
  • constraint solving
  • logic programming language
  • logic programming
  • answer set programming
  • constraint solver
  • relational databases