Propositional Lower Bounds: Generalization and Algorithms.

Marco Cadoli, Luigi Palopoli, Francesco Scarcello

Browse the full JELIA paper archive.