1
0
0
(1 - 16 von 16
)
[ ] A Trichotomy in the Complexity of Counting Answers to...
arxiv.org
From: Stefan Mengel [view email] [v1] Tue, 5 Aug :46:17 UTC (27 KB) [v2] Mon, 19 Jan :09:48 UTC (27 KB) [v3] Wed, 21 Jan :16:52 UTC ...
An emerging technology for robust and nonvolatile electronic elementsonlinelibrary.wiley.com › doi › abs
onlinelibrary.wiley.com
Stefan Mengel · Search for more papers by this author. First published: 01 December https://doi.org ( )12:13.0.
Stefan Mengel and Friedrich Slivovskycsic.es
static-webs.doc.iiia.csic.es
von S Mengel · Zitiert von: 1 — Proof Complexity of. Symbolic QBF Reasoning. Stefan Mengel and Friedrich Slivovsky. Page 2. Symbolic Quantifier Elimination. Page
No Efficient Disjunction or Conjunction of Switch-ListsarXiv
arxiv.org
von S Mengel · — From: Stefan Mengel [view email] [v1] Wed, 9 Mar :13:44 UTC (5 KB). Full-text links: Download: Download a PDF of the paper titled No ... von A Amarilli · — Skyline Operators for Document Spanners. Authors:Antoine Amarilli, Benny Kimelfeld, Sébastien Labbé, Stefan Mengel.
Stefan Mengel - Abstract
www.lix.polytechnique.fr
Simone Bova, Florent Capelli, Stefan Mengel and Friedrich Slivovsky. We show that the traces of recently introduced dynamic programming algorithms for #SAT ...
[ ] Knowledge Compilation, Width and Quantification
arxiv.org
Authors:Florent Capelli, Stefan Mengel. (Submitted on 11 Jul 2018). Abstract: We generalize many results concerning the tractability of SAT and #SAT on ...
AbstractInternational Joint Conferences on Artificial Intelligence
www.ijcai.org
Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky. Choosing a language for knowledge representation and reasoning involves a trade-off ...
A short note on the counting complexity of conjunctive queries - arXivarxiv.org › cs
arxiv.org
· Submission history. From: Stefan Mengel [view email] [v1] Thu, 2 Dec :33:18 UTC (7 KB).
Participating States Country Representative Substituteeuropa.eu
eurohpc-ju.europa.eu
Stefan Mengel. Roland Krüppel. Michael Rafii. Greece. Nectarios Koziris. Petros Sampatakos. Hungary. István Erényi. Tamàs Maray. Iceland. Morris Riedel. › system › files
[ v3] The Logic of Counting Query Answers
arxiv.org
From: Stefan Mengel [view email] [v1] Wed, 28 Jan :02:31 UTC (49 KB) [ v2] Tue, 19 Jan :09:42 UTC (33 KB) [v3] Thu, 20 Apr :04:59 UTC ...
Abstract
dmg.tuwien.ac.at
This is joint work with Miki Hermann, Stefan Mengel, and Gernot Salzer. Supported by FWF grant I836-N23, ANR-11-ISO Blanc ...
[ v1] Monomials in arithmetic circuits: Complete problems in...
arxiv.org
Submission history. From: Stefan Mengel [view email] [v1] Fri, 28 Oct :45:34 UTC (23 KB) [v2] Tue, 27 Mar :29:16 UTC (17 KB). Full-text links: ...
Participating States Country Representative Substitute - EuroHPC JUeurohpc-ju.europa.eu › document › download
eurohpc-ju.europa.eu
Stefan Mengel. Roland Krüppel. Greece. Nectarios Koziris. Petros Sampatakos. Hungary. István Erényi. Tamàs Maray. Iceland. Morris Riedel.
[ ] Proof Complexity of Symbolic QBF Reasoning
arxiv.org
· Authors:Stefan Mengel, Friedrich Slivovsky · Download PDF. Abstract: We introduce and investigate symbolic proof systems for Quantified ...
[PDF] Participating States Country Representative Substitute - EuroHPC JUeurohpc-ju.europa.eu › system › files
eurohpc-ju.europa.eu
Stefan Mengel. Roland Krüppel. Michael Rafii. Greece. Nectarios Koziris. Petros Sampatakos. Hungary. István Erényi. Tamàs Maray. Iceland. Morris Riedel.
List of publications - Antoine Amarillia3nm.net › publications › amarilli_publist_en
a3nm.net
· [9] Antoine Amarilli, Pierre Bourhis, Stefan Mengel, and Matthias Niewerth. “Constant-Delay · Enumeration for Nondeterministic Document ...
Verwandte Suchanfragen zu Stefan Mengel
|
Person "Mengel" (5) Vorname "Stefan" (78868) Name "Mengel" (542) |
sortiert nach Relevanz / Datum