1096 search results - page 173 / 220 » A New Approach for Speeding Up Enumeration Algorithms |
CONSTRAINTS
2007
14 years 9 months ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
JSAT
2006
14 years 9 months ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
SP
2008
IEEE
14 years 9 months ago
2008
IEEE
Abstract. Phylogenetic inference is considered a grand challenge in Bioinformatics due to its immense computational requirements. The increasing popularity and availability of larg...
105
click to vote
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
In multi-issue negotiations, autonomous agents can act cooperatively to benefit from mutually preferred agreements. However, empirical evidence suggests that they often fail to s...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Power consumption is a very important issue for HPC community, both at the level of one application or at the level of whole workload. Load imbalance of a MPI application can be e...