2864 search results - page 109 / 573 » Constraint Programming in OPL |
PADL
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
ICLP
1995
Springer
14 years 20 days ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
CP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We study the global cardinality constraint (gcc) and pro