Statistics
Publications
25
Citations
1.2K
H-Index
20
Active since
1995
Paolo Liberatore is an author at Sapienza University of Rome specializing in computer science, computing, and knowledge representation.
Publications per year
1995–2008
25
25
Redundancy in logic I: CNF propositional formulae
Paolo Liberatore · Artificial Intelligence · 2004 · 92 citations · Full text
Preprocessing of Intractable Problems
Marco Cadoli, Francesco M. Donini, Paolo Liberatore et al. · Information and Computation · 2002 · 61 citations
1–5 of 25