1 paper
Frank Hutter, Marius Lindauer, Adrian Balint +3
It is well known that different solution strategies work well for different types of instances of hard combinatorial problems. As a consequence, most solvers for the propositional…