2004
DOI: 10.1007/978-3-540-30201-8_45
|View full text |Cite
|
Sign up to set email alerts
|

Speeding Up Constraint Propagation

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
25
0

Year Published

2005
2005
2013
2013

Publication Types

Select...
6
2
2

Relationship

0
10

Authors

Journals

citations
Cited by 35 publications
(25 citation statements)
references
References 9 publications
0
25
0
Order By: Relevance
“…In a prototype implementation, the search factory has been ported to the Alice programming language [1], using the Gecode constraint library (available at [4], some implementation details can be found in [14]). As a result, the design we develop here maps pretty well to a functional, statically typed, non-objectoriented language (Alice is based on SML).…”
Section: Discussionmentioning
confidence: 99%
“…In a prototype implementation, the search factory has been ported to the Alice programming language [1], using the Gecode constraint library (available at [4], some implementation details can be found in [14]). As a result, the design we develop here maps pretty well to a functional, statically typed, non-objectoriented language (Alice is based on SML).…”
Section: Discussionmentioning
confidence: 99%
“…GC (Schulte and Stuckey, 2004) is a constraint solver library based on propagation, implemented in C++ and designed to be interfaced with other systems or programming languages.…”
Section: Propagation-based Solversmentioning
confidence: 99%
“…Gecode [13] is a constraint solver library based on propagation, implemented in C++ and designed to be interfaced with other systems or programming languages. Constraint Based Local Search CBLS [14] is a fundamental approach to solve combinatorial problems such as Constraint Satisfaction Problems.…”
Section: Propagation-based Solversmentioning
confidence: 99%