( 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 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 Reisbacher

Funktionelle Analyse von Cryptochrom 3 aus Arabidopsis thaliana. Uni Marburg, (2009)

Stefan Padberg

Der Einsatz des Internets im Geographieunterricht: Meinungsbilder und Unterrichtsbeobachtungen. Uni Köln, (2009)

Stefan Pollak

Herstellung pulverförmiger Komposite aus Polybutylenterephthalat nach einem Hochdrucksprühverfahren. Uni Bochum, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Parameterized complexity classes beyond para-NP., und . J. Comput. Syst. Sci., (2017)On Existential MSO and its Relation to ETH., , , und . MFCS, Volume 58 von LIPIcs, Seite 42:1-42:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Matched Formulas and Backdoor Sets.. SAT, Volume 4501 von Lecture Notes in Computer Science, Seite 94-99. Springer, (2007)Detecting Backdoor Sets with Respect to Horn and Binary Clauses., , und . SAT, (2004)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)Breaking Symmetries with RootClique and LexTopSort., , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 286-303. Springer, (2020)Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming., , , , und . Algorithmica, 64 (1): 112-125 (2012)Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting., , und . CoRR, (2015)Parameterized SAT.. Encyclopedia of Algorithms, (2016)