885 citations · 2.4k across the 41 of their papers we have counts for
Showing 2011Show all
2 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.GT2011
A General Framework for Computing Optimal Correlated Equilibria in Compact Games
Albert Xin Jiang, Kevin Leyton-Brown
We analyze the problem of computing a correlated equilibrium that optimizes some objective (e.g., social welfare). Papadimitriou and Roughgarden [2008] gave a sufficient condition…