Evaluating ASP and Commercial Solvers on the CSPLib.

Marco Cadoli Toni Mancini Davide Micaletto Fabio Patrizi

Published in: ECAI (2006)

Keyphrases

answer set programming
web applications
sat solvers
neural network
computer vision
information systems
decision trees
similarity measure
evolutionary algorithm
hidden markov models