Solving stable matching problems using answer set programming.

Sofie De Clercq Steven Schockaert Martine De Cock Ann Nowé

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

answer set programming
reasoning tasks
logic programming
combinatorial optimization
logic programs
solving problems
finite domain
optimization problems
np complete
combinatorial problems
constraint logic programming
haplotype inference
constraint satisfaction
answer sets
stable models
graph coloring