Marko Samer

Recent Publications

Fixed-Parameter Tractability
Marko Samer, Stefan Szeider
2021, Technical report AC-TR-21-004, Algorithms and Complexity Group, TU Wien.
Note: Chapter 17, Handbook of Satisfiability, 2nd Edition, 2021
PDF bib
Fixed-Parameter Tractability
Marko Samer, Stefan Szeider
Chapter in Handbook of Satisfiability, 2nd Edition (Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh), pages 693-736, 2021, IOS Press.
PDF bib DOI
Tractable cases of the extended global cardinality constraint
Marko Samer, Stefan Szeider
Constraints, volume 16, number 1, pages 1-24, 2011.
bib DOI
Constraint satisfaction with bounded treewidth revisited
Marko Samer, Stefan Szeider
Journal of Computer and System Sciences, volume 76, number 2, pages 103-114, 2010.
PDF bib
Backdoor Trees
Marko Samer, Stefan Szeider
AAAI 08, Twenty-Third Conference on Artificial Intelligence, Chicago, Illinois, July 13-17, 2008, pages 363-368, 2008, AAAI Press.
PDF bib