1986 search results - page 1 / 398 » constraints 2006 |
ISCA
2007
IEEE
13 years 11 months ago
2007
IEEE
The recently released SPEC CPU2006 benchmark suite is expected to be used by computer designers and computer architecture researchers for pre-silicon early design analysis. Partia...
CONSTRAINTS
2006
13 years 4 months ago
2006
IJBC
2006
13 years 4 months ago
2006
HEURISTICS
2006
13 years 4 months ago
2006
In case a CSP is over-constrained, it is natural to allow some constraints, called soft constraints, to be violated. We propose a generic method to soften global constraints that c...
CP
2006
Springer
13 years 8 months ago
2006
Springer
Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in the satisfiability community, can be used to provide...