The impact of balancing on problem hardness in a highly structured domain (2006)

by Carlos Ansótegui, Ramón Béjar, César Fernàndez, Carla Gomes, Carles Mateu
Venue:In Proc. of 9th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 06