Complexity of Clausal Constraints Over Chains.

Nadia Creignou Miki Hermann Andrei A. Krokhin Gernot Salzer

Published in: Theory Comput. Syst. (2008)

Keyphrases

computational cost
computational complexity
data sets
linear constraints
search space
theorem proving
constraint programming
worst case
complexity bounds
defeasible logic
global constraints
constrained optimization
constraint satisfaction
database
lower bound
website
databases
real time