885 citations · 3.3k across the 27 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
cs.AI2011★ 863 cited
SATzilla: Portfolio-based Algorithm Selection for SAT
Lin Xu, Frank Hutter, Holger H. Hoos +1
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional app…
cs.AI2011★ 160 cited
Dynamic Local Search for the Maximum Clique Problem
H. H. Hoos, W. Pullan
In this paper, we introduce DLS-MC, a new stochastic local search algorithm for the maximum clique problem. DLS-MC alternates between phases of iterative improvement, during which…
cs.AI2011★ 881 cited
CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements
C. Boutilier, R. I. Brafman, C. Domshlak +2
Information about user preferences plays a key role in automated decision making. In many domains it is desirable to assess such preferences in a qualitative rather than quantitati…