Sign in

Evaluating ASP and Commercial Solvers on the CSPLib.

Toni ManciniDavide MicalettoFabio PatriziMarco Cadoli
Published in: Constraints An Int. J. (2008)
Keyphrases
  • web applications
  • answer set programming
  • sat solvers
  • sat solving
  • databases
  • information systems
  • image processing
  • search algorithm
  • object oriented
  • declarative programming