Evaluating ASP and Commercial Solvers on the CSPLib.

Toni Mancini Davide Micaletto Fabio Patrizi Marco 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