Separation Results on the "One-More" Computational Problems.

Emmanuel Bresson Jean Monnerat Damien Vergnaud

Published in: CT-RSA (2008)

Keyphrases

computational problems
constraint satisfaction problems
reasoning tasks
exact algorithms
decision making
objective function
logic programs
constraint satisfaction
combinatorial problems