Marko Samer - RankMe

28 papers A* 3A 3B 6C 1Journal 9Unranked 4

Year	Rank	Type	Title / Venue / Authors
2021	—	`ch.`	Fixed-Parameter Tractability. Handbook of Satisfiability Marko Samer, Stefan Szeider
2011	J	`jnl`	Tractable cases of the extended global cardinality constraint. Constraints An Int. J. Marko Samer, Stefan Szeider
2010	J	`jnl`	Algorithms for propositional model counting. J. Discrete Algorithms Marko Samer, Stefan Szeider
2010	J	`jnl`	Constraint satisfaction with bounded treewidth revisited. J. Comput. Syst. Sci. Marko Samer, Stefan Szeider
2010	J	`jnl`	On the distributivity of LTL specifications. ACM Trans. Comput. Log. Marko Samer, Helmut Veith
2009	J	`jnl`	Backdoor Sets of Quantified Boolean Formulas. J. Autom. Reason. Marko Samer, Stefan Szeider
2009	A	`conf`	Encoding Treewidth into SAT. SAT Marko Samer, Helmut Veith
2009	—	`ch.`	Fixed-Parameter Tractability. Handbook of Satisfiability Marko Samer, Stefan Szeider
2008	J	`jnl`	A backtracking-based algorithm for hypertree decomposition. ACM J. Exp. Algorithmics Georg Gottlob, Marko Samer
2008	A*	`conf`	Backdoor Trees. AAAI Marko Samer, Stefan Szeider
2008	—	`conf`	Heuristic Methods for Hypertree Decomposition. MICAI Artan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer
2008	—	`conf`	Tractable Cases of the Extended Global Cardinality Constraint. CATS Marko Samer, Stefan Szeider
2008	B	`conf`	Variable Dependencies of Quantified CSPs. LPAR Marko Samer
2007	J	`jnl`	A Backtracking-Based Algorithm for Computing Hypertree-Decompositions CoRR Georg Gottlob, Marko Samer
2007	B	`conf`	Algorithms for Propositional Model Counting. LPAR Marko Samer, Stefan Szeider
2007	A	`conf`	Backdoor Sets of Quantified Boolean Formulas. SAT Marko Samer, Stefan Szeider
2007	B	`conf`	On the Notion of Vacuous Truth. LPAR Marko Samer, Helmut Veith
2006	J	`jnl`	A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth CoRR Marko Samer, Stefan Szeider
2006	J	`jnl`	Complexity and Applications of Edge-Induced Vertex-Cuts CoRR Marko Samer, Stefan Szeider
2006	A	`conf`	Constraint Satisfaction with Bounded Treewidth Revisited. CP Marko Samer, Stefan Szeider
2005	C	`conf`	Deterministic CTL Query Solving. TIME Marko Samer, Helmut Veith
2005	—	`conf`	From Temporal Logic Queries to Vacuity Detection. VISSAS Marko Samer, Helmut Veith
2005	B	`conf`	Hypertree Decompositions: Structure, Algorithms, and Applications. WG Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello
2005	A*	`conf`	Hypertree-decomposition via Branch-decomposition. IJCAI Marko Samer
2004	A*	`conf`	A Syntactic Characterization of Distributive LTL Queries. ICALP Marko Samer, Helmut Veith
2004	B	`conf`	Parameterized Vacuity. FMCAD Marko Samer, Helmut Veith
2004	—	`conf`	Technology of Test-Case Generation. Model-Based Testing of Reactive Systems Levi Lucio, Marko Samer
2003	B	`conf`	Validity of CTL Queries Revisited. CSL Marko Samer, Helmut Veith