The Evergreen Project: The Promise of Polynomials to Boost CSP/SAT Solvers*

Download Report

Transcript The Evergreen Project: The Promise of Polynomials to Boost CSP/SAT Solvers*