Simone Bova

Recent Publications

Circuit Treewidth, Sentential Decision, and Query Compilation

2017

Free Weak Nilpotent Minimum Algebras

2017

Herbrand Property: Finite Quasi-Herbrand Models and Lifting Chandra-Merlin Theorem to Quantified Conjunctive Queries

2017

Model Checking Existential Logic on Partially Ordered Sets

2016

Positive and Negative Results for Parameterized Compilability

2016

Quantified Conjunctive Queries on Partially Ordered Sets

2016

SDDs Are Exponentially More Succinct than OBDDs

2016

The complexity of equivalence, entailment, and minimization in existential positive logic

2015

Lewis Dichotomies in Many-Valued Logics

2012

Soft Constraints Processing over Divisible Residuated Lattices

2009