Full name Familienname, Vorname
Bova, Simone Maria
 
Postfix title Titel (nachgestellt)
PhD
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Bova, Simone ; Chen, Hubie The Complexity of Width Minimization for Existential Positive QueriesKonferenzbeitrag Inproceedings 2014
2Bova, Simone Maria Succinctness in Knowledge RepresentationPräsentation Presentation2015
3Bova, Simone Maria SDDs Are Exponentially More Succinct than OBDDsKonferenzbeitrag Inproceedings 2016
4Bova, Simone ; Ganian, Robert ; Szeider, Stefan Quantified Conjunctive Queries on Partially Ordered SetsKonferenzbeitrag Inproceedings 2014
5Bova, Simone Maria Parameterized Compilability of Clause EntailmentPräsentation Presentation2015
6Bova, Simone Maria ; Slivovsky, Friedrich On Compiling Structured CNFs to OBDDsKonferenzbeitrag Inproceedings 2015
7Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich On Compiling CNFs into Structured Deterministic DNNFsKonferenzbeitrag Inproceedings 2015
8Bova, Simone ; Ganian, Robert ; Szeider, Stefan Model Checking Existential Logic on Partially Ordered SetsKonferenzbeitrag Inproceedings 2014
9Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich Knowledge Compilation Meets Communication ComplexityKonferenzbeitrag Inproceedings 2016
10Bova, Simone Maria Generalized Basic Logic, Polynomial Space, and Disjunction PropertyPräsentation Presentation2015
11Bova, Simone Maria ; Barnaby, Martin First-Order Queries on Finite Abelian GroupsKonferenzbeitrag Inproceedings 2015
12Bova, Simone Maria A Strongly Exponential Separation of DNNFs from CNFsPräsentation Presentation2015

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