19th IEEE International Conference on Tools with Artificial Intelligence - Vol.1 (ICTAI 2007)
On Portfolios for Backtracking Search in the Presence of Deadlines
Paris, France
October 29-October 31
ISBN: 0-7695-3015-X
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Pre- vious studies have shown that portfolios of backtracking algorithms--a selection of one or more algorithms plus a schedule for executing the algorithms--can dramatically improve performance on some instances. In this paper, we consider a setting that often arises in practice where the in- stances to be solved arise over time, the instances all belong to some class of problem instances, and a limit or deadline is placed on the computational resources that the backtrack- ing algorithm can consume in solving any instance. For such a scenario, we present a simple scheme for learning a good portfolio of backtracking algorithms from a small sample of instances. We demonstrate the effectiveness of our approach through an extensive empirical evaluation on a real-world instruction scheduling testbed.
Citation:
Huayue Wu, Peter van Beek, "On Portfolios for Backtracking Search in the Presence of Deadlines," ictai, vol. 1, pp.231-238, 19th IEEE International Conference on Tools with Artificial Intelligence - Vol.1 (ICTAI 2007), 2007