( en | de | ru )

 

Disambiguierung von "Samer, Marko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fixed-Parameter Tractability.

, und . Handbook of Satisfiability, Volume 336 von Frontiers in Artificial Intelligence and Applications, IOS 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.

Marko Samer

Stefan Samerski

Eduard Sämer

Lothar Samerski

Josef Samereier

 

Weitere Publikationen von Autoren mit dem selben Namen

Tractable cases of the extended global cardinality constraint., und . Constraints An Int. J., 16 (1): 1-24 (2011)A Syntactic Characterization of Distributive LTL Queries., und . ICALP, Volume 3142 von Lecture Notes in Computer Science, Seite 1099-1110. Springer, (2004)Hypertree-decomposition via Branch-decomposition.. IJCAI, Seite 1535-1536. Professional Book Center, (2005)Fixed-Parameter Tractability., und . Handbook of Satisfiability, Volume 336 von Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)Tractable Cases of the Extended Global Cardinality Constraint., und . CATS, Volume 77 von CRPIT, Seite 67-74. Australian Computer Society, (2008)Validity of CTL Queries Revisited., und . CSL, Volume 2803 von Lecture Notes in Computer Science, Seite 470-483. Springer, (2003)Constraint Satisfaction with Bounded Treewidth Revisited., und . CP, Volume 4204 von Lecture Notes in Computer Science, Seite 499-513. Springer, (2006)On the Notion of Vacuous Truth., und . LPAR, Volume 4790 von Lecture Notes in Computer Science, Seite 2-14. Springer, (2007)From Temporal Logic Queries to Vacuity Detection., und . VISSAS, Volume 1 von NATO Security through Science Series D: Information and Communication Security, Seite 149-167. IOS Press, (2005)Variable Dependencies of Quantified CSPs.. LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 512-527. Springer, (2008)