466 search results - page 66 / 94 » Preprocessing Search Spaces for Branch and Bound Search |
142
click to vote
SAT
2009
Springer
16 years 17 days ago
2009
Springer
In this paper we consider the class of boolean formulas in Conjunctive Normal Form (CNF) where for each variable all but at most d occurrences are either positive or negative. This...
155
click to vote
CP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
129
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Recent progress in Distributed Constraint Optimization Problems (DCOP) has led to a range of algorithms now available which differ in their amount of problem centralization. Probl...
158
click to vote
TWC
2008
15 years 5 months ago
2008
Abstract-- We present a unified detection framework for spatial multiplexing multiple-input multiple-output (MIMO) systems by generalizing Heller's classical feedback decoding...
167
click to vote
CGO
2007
IEEE
16 years 11 days ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...