Login / Signup
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
Mutsunori Banbara
Martin Gebser
Katsumi Inoue
Max Ostrowski
Andrea Peano
Torsten Schaub
Takehide Soh
Naoyuki Tamura
Matthias Weise
Published in:
LPNMR (2015)
Keyphrases
</>
answer set programming
solving constraint satisfaction problems
constraint satisfaction problems
logic programs
logic programming
answer sets
arc consistency
causal theories
constraint logic programming
search algorithm
answer set programs
constraint satisfaction
haplotype inference
stable models
stable model semantics
disjunctive logic programming
knowledge representation
search space
constraint propagation
update semantics
constraint graph
np complete
qualitative spatial and temporal reasoning