A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.

Valerio Senni Alberto Pettorossi Maurizio Proietti

Published in: ICLP (2008)

Keyphrases

logic programs
computational complexity
logic programming
background knowledge
stable models
optimal solution
answer sets
existentially quantified
search space
np hard
computational properties