CiteULike is a free online bibliography manager. Register and you can start organising your references online.

On Portfolios for Backtracking Search in the Presence of Deadlines Export

Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on In 19th IEEE International Conference on Tools with Artificial Intelligence - ICTAI 2007, Vol. 1 (2007), pp. 231-238.

Citation Format

[Posts]

View FullText article


bsilverthorn's tags for this article

algorithm_portfolios complete_search deadlines

X Reviews [Write a review of this article]

X Find related articles from these CiteULike users

X Find related articles with these CiteULike tags

X Posting History

X Abstract

Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous 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.


X BibTeX record

X RIS record


Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.