29 citations · 78 across the 10 of their papers we have counts for
1 paper · 1 filter
C. Ansótegui, M. L. Bonet, J. Giráldez-Cru +1
Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental testing proces…