1
0
0
(1 - 19 von 19
)
Stefan Mengel | Papers With Codepaperswithcode.com › author › stefan-mengel
paperswithcode.com
no code implementations • 6 Apr • Stefan Mengel, Friedrich Slivovsky. We introduce and investigate symbolic proof systems for Quantified Boolean ...
PapersVirtual Chair
aaai-2022.virtualchair.net
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation. Alexis de Colnet, Stefan Mengel. [AAAI-22] Main Track. Add to Favorites Quickview ...
Frühneuzeitlicher Erfindungsschutz: eine Untersuchung unter...
books.google.co.uk
Das Buch befasst sich mit den kaiserlichen Erfindungsprivilegien in der Reichsstadt Augsburg. DIe Erfindungsprivilegien bilden eine der Hauptwurzeln des...
SOFSEM 2014: Theory and Practice of Computer Science: 40th ...google.com
books.google.com
... McQuillan Klaus Meer Stefan Mengel Jean-François Raskin Tamara Rezk Ahmad-Reza Sadeghi Martin Stanek Graham Steel Claire Vishik George Mertzios Tobias ...
Theory and Applications of Satisfiability Testing -- SAT ...google.com
books.google.com
199 Simone Bova, Florent Capelli, Stefan Mengel, and Friedrich Slivovsky SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers .
Transsubjektive Deliktsverantwortlichkeit: Verortung und ...google.com
books.google.com
... Gregor / Grundmann , Stefan / Mengel , Anja / Krolop , Kaspar ( Hrsg . ) , Festschrift für Christine Windbichler zum 70. Geburtstag am 8.
Perspectives in Com…tional Complexity: The Somenath Biswas...
books.google.co.uk
This book brings together contributions by leading researchers in com…tional complexity theory written in honor of Somenath Biswas on the occasion of his...
SOFSEM 2014: Theory and Practice of Computer Science: 40th...
books.google.co.uk
This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014,...
Theory and Applications of Satisfiability Testing – SAT 2019: 22nd...
books.google.co.uk
222 Stefan Mengel and Romain Wallon DRMaxSAT with MaxHS: First Contact Antonio Morgado, Alexey Ignatiev, Maria Luisa ...
Theory and Applications of Satisfiability Testing – SAT 2018: 21st...
books.google.co.uk
235 Michael Lampis, Stefan Mengel, and Valia Mitsou Polynomial-Time Validation of QCDCL Certificates Tomáš Peitl, Friedrich ...
Perspectives in Com…tional Complexity: The Somenath ...books.google.bg › books
books.google.bg
Recently, Stefan Mengel [Men11] made further progress here, considering polynomial families associated with constraint satisfaction problems CSPs.
Automata, Languages and Programming: 38th International Colloquium,...
books.google.no
... Satisfaction Problems (Extended Abstract) Stefan Mengel⋆ Institute of Mathematics, University of Paderborn, D Paderborn, Germany stefan.mengel ...
Mathematical Foundations of Computer Science 2013: 38th International...
books.google.no
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS...
Die Auswirkungen der Richtlinie (EU) auf ...
books.google.at
... Hinweisgeber-Richtlinie?, in: Bachmann, Gregor/ Grundmann, Stefan/ Mengel, Anja/ Krolop, Kaspar (Hrsg.), Festschrift für Christine Windbichler zum 70.
Die Whistleblowing-Richtlinie der EU: Perspektiven für die ...
books.google.at
Dezember 2020, hrsgg. von Grundmann, Stefan, Mengel, Anja u. Kaspar Krolop, 2020, S ff., (zitiert als: Kort, in: FS Windbichler).
Konzerndeliktsrecht: Verkehrspflichtenallokation im ...books.google.com › books
books.google.com
Müller, Hans-Friedrich: Konzernhaftung im Lauterkeits- und Immaterialgüterrecht, in: Bachmann, Gregor/Grundmann, Stefan/Mengel, Anja et al.
Täuschung und Manipulation im Privatrecht: Eine ...books.google.com › books
books.google.com
... und (EU-)Kapitalmarkt – Theorie und Fallstudien zu einer neuen Mesotes im Wirtschaftsrecht, in: Bachmann, Gregor/Grundmann, Stefan/Mengel, Anja/Krolop, ...
Theory and Applications of Satisfiability Testing – SAT 2016: 19th ...books.google.com › books
books.google.de
Parameterized Compilation Lower Bounds for Restricted CNF-Formulas Stefan Mengel(B) CNRS, CRIL UMR 8188, Lens, ...
Verwandte Suchanfragen zu Stefan Mengel
Person "Mengel" (5) Vorname "Stefan" (78868) Name "Mengel" (542) |
sortiert nach Relevanz / Datum