2861 search results - page 160 / 573 » Constraint Programming |
120
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
100
click to vote
DAC
1999
ACM
16 years 3 months ago
1999
ACM
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...
133
Voted
EACL
2009
ACL Anthology
15 years 10 days ago
2009
ACL Anthology
We show how global constraints such as transitivity can be treated intensionally in a Zero-One Integer Linear Programming (ILP) framework which is geared to find the optimal and c...
138
click to vote
CP
1995
Springer
15 years 6 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
220
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...