79
Voted
BIRTHDAY
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...