200 citations · 260 across the 20 of their papers we have counts for
3 papers · 1 filter
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems
Jaynta Mandi, Emir Demirović, Peter. J Stuckey +1
Combinatorial optimization assumes that all parameters of the optimization problem, e.g. the weights in the objective function is fixed. Often, these weights are mere estimates and…
RAIRE: Risk-Limiting Audits for IRV Elections
Michelle Blom, Peter J. Stuckey, Vanessa Teague
Risk-limiting post election audits guarantee a high probability of correcting incorrect election results, independent of why the result was incorrect. Ballot-polling audits select…
Local Rapid Learning for Integer Programs
Timo Berthold, Peter J. Stuckey, Jakob Witzig
Conflict learning algorithms are an important component of modern MIP and CP solvers. But strong conflict information is typically gained by depth-first search. While this is the n…