2725 search results - page 143 / 545 » Constraint Solving for Interpolation |
145
click to vote
CP
2000
Springer
15 years 7 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
150
click to vote
CONSTRAINTS
2007
15 years 4 months ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
131
click to vote
RTA
1995
Springer
15 years 7 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
125
click to vote
CATS
2008
15 years 5 months ago
2008
We study the consistency problem for extended global cardinality (EGC) constraints. An EGC constraint consists of a set X of variables, a set D of values, a domain D(x) D for eac...
165
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract-Recently, the duality between Multiple Input Multiple Output (MIMO) Multiple Access Channels (MAC) and MIMO Broadcast Channels (BC) has been established under a total powe...