1813 search results - page 54 / 363 » Instance Pruning Techniques |
153
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
134
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
101
click to vote
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
133
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
125
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...