Login / Signup
The Birth of a WASP: Preliminary Report on a New ASP Solver.
Carmine Dodaro
Mario Alviano
Wolfgang Faber
Nicola Leone
Francesco Ricca
Marco Sirianni
Published in:
CILC (2011)
Keyphrases
</>
answer set programming
web applications
database
neural network
satisfiability modulo theories
databases
real world
answer sets
quantified boolean formulas
image segmentation
database systems
knowledge representation
logic programming
tree search