Dynamic and Static Symmetry Breaking in Answer Set Programming.

Belaid Benhamou

Published in: LPAR (2013)

Keyphrases

answer set programming
symmetry breaking
logic programs
logic programming
answer sets
answer set programs
constraint programming
reasoning tasks
general purpose
knowledge representation
search tree
declarative programming
data structure
optimization problems
global constraints