Propositional Lower Bounds: Generalization and Algorithms

Marco Cadoli, Luigi Palopoli, Francesco Scarcello. Propositional Lower Bounds: Generalization and Algorithms. In Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach, editors, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Volume 1489 of Lecture Notes in Computer Science, pages 355-367, Springer, 1998. [doi]

Authors

Marco Cadoli

This author has not been identified. Look up 'Marco Cadoli' in Google

Luigi Palopoli

This author has not been identified. Look up 'Luigi Palopoli' in Google

Francesco Scarcello

This author has not been identified. Look up 'Francesco Scarcello' in Google