Keyphrases
- constraint satisfaction problems
- real valued
- arc consistency
- decomposition methods
- boolean functions
- constraint satisfaction
- constraint programming
- constraint propagation
- np hard
- planar surfaces
- boolean logic
- planar graphs
- tree decomposition
- curved surfaces
- soft constraints
- surface patches
- single point
- boolean queries
- sat problem
- sat encodings
- non binary