Search Results for author: Adrian Balint

Found 1 papers, 0 papers with code

The Configurable SAT Solver Challenge (CSSC)

no code implementations5 May 2015 Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger Hoos, Kevin Leyton-Brown

It is well known that different solution strategies work well for different types of instances of hard combinatorial problems.

Cannot find the paper you are looking for? You can Submit a new open access paper.