( en | de | ru )

 

Disambiguierung von "Crowston, Robert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fixed-Parameter Tractability of Satisfying beyond the Number of Variables.

, , , , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 355-368. Springer, (2012)

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.

Robert Klöfkorn

Numerics for evolution equations: a general interface based design concept. Uni Freiburg, (2009)

Robert Wille

Towards a design flow for reversible logic. Uni Bremen, (2009)

Robert Braun

Referenzmodellierung: Grundlegung und Evaluation der Technik des Modell-Konfigurationsmanagements. TU Dresden, (2010)

Robert Wagner

Inkrementelle Modellsynchronisation. Uni Paderborn, (2009)

Robert Zangenfeind

Das Bedeutung-Text-Modell: Wörterbuch und Grammatik einer integralen Sprachbeschreibung. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Fixed-Parameter Tractability of Satisfying beyond the Number of Variables., , , , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 355-368. Springer, (2012)A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application., , , und . IPEC, Volume 6478 von Lecture Notes in Computer Science, Seite 84-94. Springer, (2010)Parameterized Complexity of MaxSat above Average., , , , und . LATIN, Volume 7256 von Lecture Notes in Computer Science, Seite 184-194. Springer, (2012)Directed Acyclic Subgraph Problem Parameterized above the Poljak-Turzik Bound., , und . FSTTCS, Volume 18 von LIPIcs, Seite 400-411. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Maximum Balanced Subgraph Problem Parameterized Above Lower Bound, , , und . CoRR, (2012)Algorithms for parameterized constraint satisfaction problems.. Royal Holloway, University of London, Egham, UK, (2013)British Library, EThOS.Polynomial Kernels for lambda-extendible Properties Parameterized Above the Poljak-Turzik Bound., , , , , und . FSTTCS, Volume 24 von LIPIcs, Seite 43-54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Systems of Linear Equations over F2 and Problems Parameterized above Average., , , , und . SWAT, Volume 6139 von Lecture Notes in Computer Science, Seite 164-175. Springer, (2010)Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints., , , , und . FAW-AAIM, Volume 7924 von Lecture Notes in Computer Science, Seite 198-209. Springer, (2013)Parameterized Complexity of Satisfying Almost All Linear Equations over $F_2$., , , und . Theory Comput. Syst., 52 (4): 719-728 (2013)