Extending Clause Learning of SAT Solvers with Boolean Grbner Bases.

Christoph Zengler, Wolfgang Kchlin

Browse the full CASC paper archive.