131 search results - page 11 / 27 » Solution Enumeration for Projected Boolean Search Problems |
134
Voted
AAAI
2007
15 years 8 months ago
2007
Various tasks in decision making and decision support require selecting a preferred subset of items from a given set of feasible items. Recent work in this area considered methods...
178
Voted
FLAIRS
2007
15 years 8 months ago
2007
Using information from failures to guide subsequent search is an important technique for solving combinatorial problems in domains such as boolean satisfiability (SAT) and constr...
157
Voted
TEC
2002
15 years 5 months ago
2002
An ant colony optimization (ACO) approach for the resource-constrained project scheduling problem (RCPSP) is presented. Several new features that are interesting for ACO in general...
156
click to vote
CEC
2008
IEEE
16 years 8 days ago
2008
IEEE
Abstract— The DNA fragment assembly problem is to reconstruct a DNA chain from multiple fragments that have previously been sequenced in a laboratory. This is a critical step in ...
152
click to vote
CPAIOR
2009
Springer
16 years 11 days ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...