Paolo Liberatore

Identifiers

• name variant Paolo Liberatore 0.60 · backfill

Papers (7)

1. Raising a Hardness Result cs.AI · 2007 · author #1
2. Complexity Issues in Finding Succinct Solutions of PSPACE-Complete Problems cs.AI · 2005 · author #1
3. The Complexity of Modified Instances cs.CC · 2004 · author #1
4. Merging Locally Correct Knowledge Bases: A Preliminary Report cs.AI · 2002 · author #1
5. Redundancy in Logic I: CNF Propositional Formulae cs.AI · 2002 · author #1
6. Compilability of Abduction cs.AI · 2002 · author #1
7. Complexity Results on DPLL and Resolution cs.LO · 2002 · author #1

Mentions

• 0708.4170 #1 · backfill · confidence 0.70 Paolo Liberatore

Frequent Coauthors

• Marco Schaerf 1 shared papers