2725 search results - page 79 / 545 » Constraint Solving for Interpolation |
135
Voted
IEEEVAST
2010
14 years 10 months ago
2010
Interaction and manual manipulation have been shown in the cognitive science literature to play a critical role in problem solving. Given different types of interactions or constr...
126
Voted
JUCS
2007
15 years 3 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
120
Voted
ICCD
2007
IEEE
16 years 17 days ago
2007
IEEE
We present new techniques for explicit constraint satisfaction in the incremental placement process. Our algorithm employs a Lagrangian Relaxation (LR) type approach in the analyt...
144
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
126
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...