Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases.

Ruiwen Chen

Browse the full MFCS paper archive.