Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Marko Samer
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.