A Gap Trichotomy for Boolean Constraint Problems: Extending Schaefer's Theorem.

Published in: ISAAC (2016)

Keyphrases

constraint problems
randomly generated
constraint satisfaction
constraint satisfaction problems
boolean functions
constraint programming
optimisation problems
soft constraints
constraint propagation
real valued
training data
optimization algorithm
constrained problems