BibTeX records: Marko Samer

download as .bib file

@incollection{DBLP:series/faia/SamerS21,
  author       = {Marko Samer and
                  Stefan Szeider},
  editor       = {Armin Biere and
                  Marijn Heule and
                  Hans van Maaren and
                  Toby Walsh},
  title        = {Fixed-Parameter Tractability},
  booktitle    = {Handbook of Satisfiability - Second Edition},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {336},
  pages        = {693--736},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/FAIA201000},
  doi          = {10.3233/FAIA201000},
  timestamp    = {Fri, 06 May 2022 08:03:54 +0200},
  biburl       = {https://dblp.org/rec/series/faia/SamerS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SamerS11,
  author       = {Marko Samer and
                  Stefan Szeider},
  title        = {Tractable cases of the extended global cardinality constraint},
  journal      = {Constraints An Int. J.},
  volume       = {16},
  number       = {1},
  pages        = {1--24},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10601-009-9079-y},
  doi          = {10.1007/S10601-009-9079-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/SamerS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/SamerS10,
  author       = {Marko Samer and
                  Stefan Szeider},
  title        = {Constraint satisfaction with bounded treewidth revisited},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {76},
  number       = {2},
  pages        = {103--114},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jcss.2009.04.003},
  doi          = {10.1016/J.JCSS.2009.04.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/SamerS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jda/SamerS10,
  author       = {Marko Samer and
                  Stefan Szeider},
  title        = {Algorithms for propositional model counting},
  journal      = {J. Discrete Algorithms},
  volume       = {8},
  number       = {1},
  pages        = {50--64},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jda.2009.06.002},
  doi          = {10.1016/J.JDA.2009.06.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jda/SamerS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SamerV10,
  author       = {Marko Samer and
                  Helmut Veith},
  title        = {On the distributivity of {LTL} specifications},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {11},
  number       = {3},
  pages        = {20:1--20:26},
  year         = {2010},
  url          = {https://doi.org/10.1145/1740582.1740588},
  doi          = {10.1145/1740582.1740588},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/SamerV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SamerS09,
  author       = {Marko Samer and
                  Stefan Szeider},
  title        = {Backdoor Sets of Quantified Boolean Formulas},
  journal      = {J. Autom. Reason.},
  volume       = {42},
  number       = {1},
  pages        = {77--97},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10817-008-9114-5},
  doi          = {10.1007/S10817-008-9114-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SamerS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SamerV09,
  author       = {Marko Samer and
                  Helmut Veith},
  editor       = {Oliver Kullmann},
  title        = {Encoding Treewidth into {SAT}},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
                  International Conference, {SAT} 2009, Swansea, UK, June 30 - July
                  3, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5584},
  pages        = {45--50},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02777-2\_6},
  doi          = {10.1007/978-3-642-02777-2\_6},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/SamerV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/SamerS09,
  author       = {Marko Samer and
                  Stefan Szeider},
  editor       = {Armin Biere and
                  Marijn Heule and
                  Hans van Maaren and
                  Toby Walsh},
  title        = {Fixed-Parameter Tractability},
  booktitle    = {Handbook of Satisfiability},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {185},
  pages        = {425--454},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-58603-929-5-425},
  doi          = {10.3233/978-1-58603-929-5-425},
  timestamp    = {Fri, 06 May 2022 08:00:40 +0200},
  biburl       = {https://dblp.org/rec/series/faia/SamerS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jea/GottlobS08,
  author       = {Georg Gottlob and
                  Marko Samer},
  title        = {A backtracking-based algorithm for hypertree decomposition},
  journal      = {{ACM} J. Exp. Algorithmics},
  volume       = {13},
  year         = {2008},
  url          = {https://doi.org/10.1145/1412228.1412229},
  doi          = {10.1145/1412228.1412229},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jea/GottlobS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SamerS08,
  author       = {Marko Samer and
                  Stefan Szeider},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Backdoor Trees},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {363--368},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-057.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SamerS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/SamerS08,
  author       = {Marko Samer and
                  Stefan Szeider},
  editor       = {James Harland and
                  Prabhu Manyem},
  title        = {Tractable Cases of the Extended Global Cardinality Constraint},
  booktitle    = {Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian
                  Theory Symposium {(CATS} 2008), Wollongong, NSW, Australia, January
                  22-25, 2008. Proceedings},
  series       = {{CRPIT}},
  volume       = {77},
  pages        = {67--74},
  publisher    = {Australian Computer Society},
  year         = {2008},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV77Samer.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/SamerS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Samer08,
  author       = {Marko Samer},
  editor       = {Iliano Cervesato and
                  Helmut Veith and
                  Andrei Voronkov},
  title        = {Variable Dependencies of Quantified CSPs},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
                  International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
                  2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5330},
  pages        = {512--527},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89439-1\_36},
  doi          = {10.1007/978-3-540-89439-1\_36},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Samer08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/DermakuGGMMS08,
  author       = {Artan Dermaku and
                  Tobias Ganzow and
                  Georg Gottlob and
                  Benjamin J. McMahan and
                  Nysret Musliu and
                  Marko Samer},
  editor       = {Alexander F. Gelbukh and
                  Eduardo F. Morales},
  title        = {Heuristic Methods for Hypertree Decomposition},
  booktitle    = {{MICAI} 2008: Advances in Artificial Intelligence, 7th Mexican International
                  Conference on Artificial Intelligence, Atizap{\'{a}}n de Zaragoza,
                  Mexico, October 27-31, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5317},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88636-5\_1},
  doi          = {10.1007/978-3-540-88636-5\_1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/micai/DermakuGGMMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SamerV07,
  author       = {Marko Samer and
                  Helmut Veith},
  editor       = {Nachum Dershowitz and
                  Andrei Voronkov},
  title        = {On the Notion of Vacuous Truth},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
                  International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
                  2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4790},
  pages        = {2--14},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75560-9\_2},
  doi          = {10.1007/978-3-540-75560-9\_2},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/SamerV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SamerS07,
  author       = {Marko Samer and
                  Stefan Szeider},
  editor       = {Nachum Dershowitz and
                  Andrei Voronkov},
  title        = {Algorithms for Propositional Model Counting},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
                  International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
                  2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4790},
  pages        = {484--498},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75560-9\_35},
  doi          = {10.1007/978-3-540-75560-9\_35},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/SamerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SamerS07,
  author       = {Marko Samer and
                  Stefan Szeider},
  editor       = {Jo{\~{a}}o Marques{-}Silva and
                  Karem A. Sakallah},
  title        = {Backdoor Sets of Quantified Boolean Formulas},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
                  International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4501},
  pages        = {230--243},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72788-0\_23},
  doi          = {10.1007/978-3-540-72788-0\_23},
  timestamp    = {Mon, 24 Feb 2020 19:23:27 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/SamerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701083,
  author       = {Georg Gottlob and
                  Marko Samer},
  title        = {A Backtracking-Based Algorithm for Computing Hypertree-Decompositions},
  journal      = {CoRR},
  volume       = {abs/cs/0701083},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701083},
  eprinttype    = {arXiv},
  eprint       = {cs/0701083},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701083.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SamerS06,
  author       = {Marko Samer and
                  Stefan Szeider},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Constraint Satisfaction with Bounded Treewidth Revisited},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {499--513},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_36},
  doi          = {10.1007/11889205\_36},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SamerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0607109,
  author       = {Marko Samer and
                  Stefan Szeider},
  title        = {Complexity and Applications of Edge-Induced Vertex-Cuts},
  journal      = {CoRR},
  volume       = {abs/cs/0607109},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0607109},
  eprinttype    = {arXiv},
  eprint       = {cs/0607109},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0607109.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0610174,
  author       = {Marko Samer and
                  Stefan Szeider},
  title        = {A Fixed-Parameter Algorithm for {\#}SAT with Parameter Incidence Treewidth},
  journal      = {CoRR},
  volume       = {abs/cs/0610174},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0610174},
  eprinttype    = {arXiv},
  eprint       = {cs/0610174},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0610174.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Samer05,
  author       = {Marko Samer},
  editor       = {Leslie Pack Kaelbling and
                  Alessandro Saffiotti},
  title        = {Hypertree-decomposition via Branch-decomposition},
  booktitle    = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
                  on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
                  5, 2005},
  pages        = {1535--1536},
  publisher    = {Professional Book Center},
  year         = {2005},
  url          = {http://ijcai.org/Proceedings/05/Papers/post-0349.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Samer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SamerV05,
  author       = {Marko Samer and
                  Helmut Veith},
  title        = {Deterministic {CTL} Query Solving},
  booktitle    = {12th International Symposium on Temporal Representation and Reasoning
                  {(TIME} 2005), 23-25 June 2005, Burlington, Vermont, {USA}},
  pages        = {156--165},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/TIME.2005.20},
  doi          = {10.1109/TIME.2005.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/SamerV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/SamerV05,
  author       = {Marko Samer and
                  Helmut Veith},
  editor       = {Edmund M. Clarke and
                  Marius Minea and
                  Ferucio Laurentiu Tiplea},
  title        = {From Temporal Logic Queries to Vacuity Detection},
  booktitle    = {Verification of Infinite-State Systems with Applications to Security,
                  Proceedings of the {NATO} Advanced Research Workshop "Verification
                  of Infinite State Systems with Applications to Security {VISSAS} 2005",
                  Timisoara, Romania, March 17-22, 2005},
  series       = {{NATO} Security through Science Series {D:} Information and Communication
                  Security},
  volume       = {1},
  pages        = {149--167},
  publisher    = {{IOS} Press},
  year         = {2005},
  timestamp    = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl       = {https://dblp.org/rec/conf/vissas/SamerV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/GottlobGMSS05,
  author       = {Georg Gottlob and
                  Martin Grohe and
                  Nysret Musliu and
                  Marko Samer and
                  Francesco Scarcello},
  editor       = {Dieter Kratsch},
  title        = {Hypertree Decompositions: Structure, Algorithms, and Applications},
  booktitle    = {Graph-Theoretic Concepts in Computer Science, 31st International Workshop,
                  {WG} 2005, Metz, France, June 23-25, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3787},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11604686\_1},
  doi          = {10.1007/11604686\_1},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wg/GottlobGMSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LucioS04,
  author       = {Levi Lucio and
                  Marko Samer},
  editor       = {Manfred Broy and
                  Bengt Jonsson and
                  Joost{-}Pieter Katoen and
                  Martin Leucker and
                  Alexander Pretschner},
  title        = {Technology of Test-Case Generation},
  booktitle    = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume
                  is the outcome of a research seminar that was held in Schloss Dagstuhl
                  in January 2004]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3472},
  pages        = {323--354},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11498490\_15},
  doi          = {10.1007/11498490\_15},
  timestamp    = {Tue, 31 Aug 2021 12:07:12 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/LucioS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SamerV04,
  author       = {Marko Samer and
                  Helmut Veith},
  editor       = {Alan J. Hu and
                  Andrew K. Martin},
  title        = {Parameterized Vacuity},
  booktitle    = {Formal Methods in Computer-Aided Design, 5th International Conference,
                  {FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3312},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30494-4\_23},
  doi          = {10.1007/978-3-540-30494-4\_23},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/SamerV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SamerV04,
  author       = {Marko Samer and
                  Helmut Veith},
  editor       = {Josep D{\'{\i}}az and
                  Juhani Karhum{\"{a}}ki and
                  Arto Lepist{\"{o}} and
                  Donald Sannella},
  title        = {A Syntactic Characterization of Distributive {LTL} Queries},
  booktitle    = {Automata, Languages and Programming: 31st International Colloquium,
                  {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3142},
  pages        = {1099--1110},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27836-8\_91},
  doi          = {10.1007/978-3-540-27836-8\_91},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/SamerV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SamerV03,
  author       = {Marko Samer and
                  Helmut Veith},
  editor       = {Matthias Baaz and
                  Johann A. Makowsky},
  title        = {Validity of {CTL} Queries Revisited},
  booktitle    = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
                  Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
                  {KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2803},
  pages        = {470--483},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45220-1\_38},
  doi          = {10.1007/978-3-540-45220-1\_38},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/SamerV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics