Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Adrian Balint

The Configurable SAT Solver Challenge (CSSC)


Aug 02, 2016
Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger Hoos, Kevin Leyton-Brown


  Access Paper or Ask Questions