( en | de | ru )

 

Disambiguierung von "Szeider, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Parameterized Complexity of Clustering Incomplete Data.

, , , , und . AAAI, Seite 7296-7304. AAAI Press, (2021)

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 Weiß

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

Stefan Schwärzler

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

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

Short Q-Resolution Proofs with Homomorphisms., , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 412-428. Springer, (2020)Finding the Hardest Formulas for Resolution., und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 514-530. Springer, (2020)Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming., , , , und . Algorithmica, 64 (1): 112-125 (2012)Breaking Symmetries with RootClique and LexTopSort., , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 286-303. Springer, (2020)Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting., , und . CoRR, (2015)Model Checking Existential Logic on Partially Ordered Sets., , und . ACM Trans. Comput. Log., 17 (2): 10 (2016)A SAT Approach to Branchwidth., , und . ACM Trans. Comput. Log., 20 (3): 15:1-15:24 (2019)On Theorems Equivalent with Kotzig's Result on Graphs with Unique 1-Factors.. Ars Comb., (2004)Proof Complexity of Fragments of Long-Distance Q-Resolution., , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 319-335. Springer, (2019)Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems., und . Comput. J., 51 (3): 303-325 (2008)