2725 search results - page 79 / 545 » Constraint Solving for Interpolation |
109
Voted
IEEEVAST
2010
14 years 7 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...
96
Voted
JUCS
2007
15 years 19 days 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...
ICCD
2007
IEEE
15 years 9 months 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...
119
Voted
BIRTHDAY
2010
Springer
15 years 1 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...
101
Voted
CP
2008
Springer
15 years 2 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...