Simone Bova

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 12

Top Topics

Partially Ordered Sets

Existentially Quantified

Conjunctive Queries

Top Venues

Theory Comput. Syst.

Theor. Comput. Sci.

Publications

Simone Bova, Hubie Chen
How Many Variables are Needed to Express an Existential Positive Query? Theory Comput. Syst. 63 (7) (2019)
Simone Bova, Friedrich Slivovsky
On Compiling Structured CNFs to OBDDs. Theory Comput. Syst. 61 (2) (2017)
Simone Bova, Stefan Szeider
Circuit Treewidth, Sentential Decision, and Query Compilation. CoRR (2017)
Simone Bova, Hubie Chen
How Many Variables Are Needed to Express an Existential Positive Query?. ICDT (2017)
Simone Bova, Stefan Szeider
Circuit Treewidth, Sentential Decision, and Query Compilation. PODS (2017)
Stefano Aguzzoli, Simone Bova, Diego Valota
Free weak nilpotent minimum algebras. Soft Comput. 21 (1) (2017)
Simone Bova, Fabio Mogavero
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. LICS (2017)
Simone Bova
SDDs Are Exponentially More Succinct than OBDDs. AAAI (2016)
Simone Bova, Robert Ganian, Stefan Szeider
Quantified conjunctive queries on partially ordered sets. Theor. Comput. Sci. 618 (2016)
Simone Bova
SDDs are Exponentially More Succinct than OBDDs. CoRR (2016)
Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky
Knowledge Compilation Meets Communication Complexity. IJCAI (2016)
Simone Bova, Robert Ganian, Stefan Szeider
Model Checking Existential Logic on Partially Ordered Sets. ACM Trans. Comput. Log. 17 (2) (2016)
Simone Bova, Friedrich Slivovsky
On Compiling Structured CNFs to OBDDs. CSR (2015)
Simone Bova, Hubie Chen
The complexity of equivalence, entailment, and minimization in existential positive logic. J. Comput. Syst. Sci. 81 (2) (2015)
Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky
On Compiling CNFs into Structured Deterministic DNNFs. SAT (2015)
Simone Bova, Barnaby Martin
First-Order Queries on Finite Abelian Groups. CSL (2015)
Simone Bova, Robert Ganian, Stefan Szeider
Model checking existential logic on partially ordered sets. CSL-LICS (2014)
Simone Bova, Hubie Chen
The Complexity of Width Minimization for Existential Positive Queries. ICDT (2014)
Simone Bova, Robert Ganian, Stefan Szeider
Quantified Conjunctive Queries on Partially Ordered Sets. IPEC (2014)
Simone Bova, Robert Ganian, Stefan Szeider
Model Checking Existential Logic on Partially Ordered Sets. CoRR (2014)
Simone Bova, Leonardo Manuel Cabrer
Unification and Projectivity in De Morgan and Kleene Algebras. Order 31 (2) (2014)
Simone Bova, Friedrich Slivovsky
On Compiling Structured CNFs to OBDDs. CoRR (2014)
Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky
Expander CNFs have Exponential DNNF Size. CoRR (2014)
Simone Bova, Robert Ganian, Stefan Szeider
Quantified Conjunctive Queries on Partially Ordered Sets. CoRR (2014)
Simone Bova, Franco Montagna
Polynomial space hardness without disjunction property. Theor. Comput. Sci. 467 (2013)
Simone Bova, Hubie Chen, Matthew Valeriote
Generic expression hardness results for primitive positive formula comparison. Inf. Comput. 222 (2013)
Simone Bova, Diego Valota
Finite RDP-algebras: duality, coproducts and logic. J. Log. Comput. 22 (3) (2012)
Simone Bova, Hubie Chen, Matthew Valeriote
Generic Expression Hardness Results for Primitive Positive Formula Comparison CoRR (2012)
Simone Bova
Lewis Dichotomies in Many-Valued Logics. Stud Logica 100 (6) (2012)
Simone Bova, Hubie Chen, Matthew Valeriote
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Theory Comput. Syst. 50 (2) (2012)
Simone Bova, Hubie Chen, Matthew Valeriote
Generic Expression Hardness Results for Primitive Positive Formula Comparison. ICALP (2) (2011)
Stefano Aguzzoli, Simone Bova
The free n-generated BL-algebra. Ann. Pure Appl. Log. 161 (9) (2010)
Simone Bova, Tommaso Flaminio
The coherence of Lukasiewicz assessments is NP-complete. Int. J. Approx. Reason. 51 (3) (2010)
Stefano Aguzzoli, Simone Bova
Schauder Hats for the Two-Variable Fragment of BL. ISMVL (2010)
Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra
A logical analysis of Mamdani-type fuzzy inference, II. An experiment on the technical analysis of financial markets. FUZZ-IEEE (2010)
Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra
A logical analysis of Mamdani-type fuzzy inference, I theoretical bases. FUZZ-IEEE (2010)
Simone Bova
Soft Constraints Processing over Divisible Residuated Lattices. ECSQARU (2009)
Simone Bova, Franco Montagna
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. 410 (12-13) (2009)
Stefano Aguzzoli, Simone Bova, Vincenzo Marra
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. LFCS (2009)
Matthew Valeriote, Simone Bova, Hubie Chen
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. The Constraint Satisfaction Problem: Complexity and Approximability (2009)
Simone Bova
k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices CoRR (2008)
Simone Bova, Franco Montagna
Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9 (3) (2008)
Simone Bova, Franco Montagna
Proof Search in Hajek's Basic Logic CoRR (2006)