Authors: Cadoli, M Donini, FM Liberatore, P Schaerf, M

Citation: M. Cadoli et al., Space efficiency of propositional knowledge representation formalisms, J ARTIF I R, 13, 2000, pp. 1-31

Authors: Cadoli, M Ianni, G Palopoli, L Schaerf, A Vasile, D

Citation: M. Cadoli et al., NP-SPEC: an executable specification language for solving all problems in NP, COMPUT LANG, 26(2-4), 2000, pp. 165-195

Authors: Schaerf, A Cadoli, M Lenzerini, M

Citation: A. Schaerf et al., LOCAL++: A C++ framework for local search algorithms, SOFTW PR EX, 30(3), 2000, pp. 233-257

Authors: Cadoli, M Scarcello, F

Citation: M. Cadoli et F. Scarcello, Semantical and computational aspects of Horn approximations, ARTIF INTEL, 119(1-2), 2000, pp. 1-17

Authors: Cadoli, M Palopoli, L Scarcello, F

Citation: M. Cadoli et al., Propositional lower bounds: Algorithms and complexity, ANN MATH A, 27(1-4), 1999, pp. 129-148

Authors: Cadoli, M Donini, FM Liberatore, P Schaerf, M

Citation: M. Cadoli et al., The size of a revised knowledge base, ARTIF INTEL, 115(1), 1999, pp. 25-64