Name Card

Full name Familienname, Vorname
Bova, Simone Maria
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-17 of 17 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bova, Simone Maria SDDs Are Exponentially More Succinct than OBDDsKonferenzbeitrag Inproceedings 2016
2Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich Knowledge Compilation Meets Communication ComplexityKonferenzbeitrag Inproceedings 2016
3Bova, Simone ; Ganian, Robert ; Szeider, Stefan Quantified conjunctive queries on partially ordered setsArtikel Article 2016
4Bova Simone - 2016 - On Compiling Structured CNFs to OBDDs.pdf.jpgBova, Simone ; Slivovsky, FriedrichOn Compiling Structured CNFs to OBDDsArticle Artikel 2016
5Bova, Simone Maria Parameterized Compilability of Clause EntailmentPräsentation Presentation2015
6Bova, Simone Maria Generalized Basic Logic, Polynomial Space, and Disjunction PropertyPräsentation Presentation2015
7Bova, Simone Maria A Strongly Exponential Separation of DNNFs from CNFsPräsentation Presentation2015
8Bova, Simone Maria Succinctness in Knowledge RepresentationPräsentation Presentation2015
9Bova, Simone Maria ; Barnaby, Martin First-Order Queries on Finite Abelian GroupsKonferenzbeitrag Inproceedings 2015
10Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich On Compiling CNFs into Structured Deterministic DNNFsKonferenzbeitrag Inproceedings 2015
11Bova, Simone Maria ; Slivovsky, Friedrich On Compiling Structured CNFs to OBDDsKonferenzbeitrag Inproceedings 2015
12Bova, Simone ; Ganian, Robert ; Szeider, Stefan Model Checking Existential Logic on Partially Ordered SetsArtikel Article2015
13Bova, Simone ; Ganian, Robert ; Szeider, Stefan Model Checking Existential Logic on Partially Ordered SetsKonferenzbeitrag Inproceedings 2014
14Bova, Simone ; Ganian, Robert ; Szeider, Stefan Quantified Conjunctive Queries on Partially Ordered SetsKonferenzbeitrag Inproceedings 2014
15Bova, Simone ; Chen, Hubie The Complexity of Width Minimization for Existential Positive QueriesKonferenzbeitrag Inproceedings 2014
16Bova, Simone ; Chen, Hubie ; Valeriote, Matthew Generic Expression Hardness Results for Primitive Positive Formula ComparisonArtikel Article2013
17Bova, Simone ; Cabrer, Leonardo Unification and Projectivity in De Morgan and Kleene AlgebrasArtikel Article2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Parlak Aykut - 2016 - A SAT spproach to clique-width of a digraph and an...pdf.jpgParlak, Aykut A SAT spproach to clique-width of a digraph and an application on model counting problemsThesis Hochschulschrift 2016