Evaluating ASP and commercial solvers on the CSPLib (Preliminary work).

Marco Cadoli Toni Mancini Davide Micaletto Fabio Patrizi

Published in: WLP (2006)

Keyphrases

answer set programming
declarative programming
database
neural network
data mining
web applications
logic programs
sat solvers
data sets
search engine
feature selection
website
answer sets
quantified boolean formulas
eigenvalue problems