1920 search results - page 60 / 384 » The Range Constraint: Algorithms and Implementation |
129
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
140
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
143
click to vote
ARITH
2007
IEEE
15 years 8 months ago
2007
IEEE
The IEEE Standard 754-1985 for Binary Floating-Point Arithmetic [1] was revised [2], and an important addition is the definition of decimal floating-point arithmetic. This is inte...
122
click to vote
ALGORITHMICA
2008
15 years 4 months ago
2008
Color-coding is a technique to design fixed-parameter algorithms for several NP-complete subgraph isomorphism problems. Somewhat surprisingly, not much work has so far been spent ...
119
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
Distributed Genetic Algorithm (DGA) is one of the most promising choices among the optimization methods. In this paper we describe DGAFrame, a flexible framework for evolutionary...