2725 search results - page 18 / 545 » Constraint Solving for Interpolation |
156
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
163
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
156
click to vote
EPIA
2001
Springer
15 years 10 months ago
2001
Springer
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
139
Voted
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
: We present a maple-package SyNRAC for solving real algebraic constraints aiming to realize a robust parametric control toolbox on MATLAB. Our main tool is real quantifier elimin...
135
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Methods exploiting tree-decompositions seem to provide the best approach for solving constraint networks w.r.t. the theoretical time complexity. However, they have not shown a real...