Sciweavers

BIRTHDAY
2010
Springer

Finding Reductions Automatically

13 years 4 months ago
Finding Reductions Automatically
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 reductions between decision problems described in logic. Key words: Descriptive Complexity, First-Order Reduction, QuantifierFree Reduction, SAT Solver
Michael Crouch, Neil Immerman, J. Eliot B. Moss
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where BIRTHDAY
Authors Michael Crouch, Neil Immerman, J. Eliot B. Moss
Comments (0)