( en | de | ru )

 

Disambiguierung von "Szeider, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Guarantees and limits of preprocessing in constraint satisfaction and reasoning.

, und . Artif. Intell., (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)

Stefan Weiß

Deformation quantization of principal fibre bundles and classical gauge theories. Uni Freiburg, (2009)

Stefan Fröhlich

Modellbasierte Fehlererkennung und Diagnose in Echtzeit am Beispiel einer Brennstoffzelle. Uni Kassel, (2009)

Stefan Tripmaker

Verhältnis und Abgrenzung zwischen Steuerhinterziehung und Betrug. Bucerius Law School Hamburg, (2007)

Stefan Kutter

Molekularer Aufbau und Translokationsmechanismus des Cag-Typ-IV-Sekretionssystems von Helicobacter pylori. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., , , und . J. Discrete Algorithms, 6 (4): 539 (2008)Model Counting for CNF Formulas of Bounded Modular Treewidth., , und . Algorithmica, 76 (1): 168-194 (2016)Algorithms and complexity results for persuasive argumentation., , und . Artif. Intell., 175 (9-10): 1722-1736 (2011)Algorithms and Complexity Results for Exact Bayesian Structure Learning., und . UAI, Seite 401-408. AUAI Press, (2010)On Theorems Equivalent with Kotzig's Result on Graphs with Unique 1-Factors.. Ars Comb., (2004)Solving MAX-r-SAT Above a Tight Lower Bound., , , , und . SODA, Seite 511-517. SIAM, (2010)Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting., , und . CoRR, (2015)Finding the Hardest Formulas for Resolution., und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 514-530. Springer, (2020)Breaking Symmetries with RootClique and LexTopSort., , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 286-303. Springer, (2020)Short Q-Resolution Proofs with Homomorphisms., , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 412-428. Springer, (2020)