Marko Samer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2021

Fixed-Parameter TractabilityMarko Samer, Stefan Szeider. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 693-736, IOS Press, 2021. [doi]

2011

Tractable cases of the extended global cardinality constraintMarko Samer, Stefan Szeider. constraints, 16(1):1-24, 2011. [doi]

2010

On the distributivity of LTL specificationsMarko Samer, Helmut Veith. tocl, 11(3), 2010. [doi]

Algorithms for propositional model countingMarko Samer, Stefan Szeider. jda, 8(1):50-64, 2010. [doi]

Constraint satisfaction with bounded treewidth revisitedMarko Samer, Stefan Szeider. jcss, 76(2):103-114, 2010. [doi]

2009

Encoding Treewidth into SATMarko Samer, Helmut Veith. sat 2009: 45-50 [doi]

Fixed-Parameter TractabilityMarko Samer, Stefan Szeider. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 425-454, IOS Press, 2009. [doi]

Backdoor Sets of Quantified Boolean FormulasMarko Samer, Stefan Szeider. JAR, 42(1):77-97, 2009. [doi]

2008

2007

On the Notion of Vacuous TruthMarko Samer, Helmut Veith. lpar 2007: 2-14 [doi]

Algorithms for Propositional Model CountingMarko Samer, Stefan Szeider. lpar 2007: 484-498 [doi]

Backdoor Sets of Quantified Boolean FormulasMarko Samer, Stefan Szeider. sat 2007: 230-243 [doi]

2006

Constraint Satisfaction with Bounded Treewidth RevisitedMarko Samer, Stefan Szeider. cp 2006: 499-513 [doi]

2005

2004

Technology of Test-Case GenerationLevi Lucio, Marko Samer. Dagstuhl 2005: 323-354 [doi]

Parameterized VacuityMarko Samer, Helmut Veith. FMCAD 2004: 322-336 [doi]

A Syntactic Characterization of Distributive LTL QueriesMarko Samer, Helmut Veith. icalp 2004: 1099-1110 [doi]

2003

Validity of CTL Queries RevisitedMarko Samer, Helmut Veith. csl 2003: 470-483 [doi]

Sign in or sign up to see more results.

runs on WebDSL