Samer, Marko

Full name Familienname, Vorname

Samer, Marko

Results 1-3 of 3 (Search time: 0.004 seconds).

RIS EndNote Bibtex Excel CSV Send via email

	Authors / Editors	Title	Type	Issue Date
1	Samer, Marko ; Szeider, Stefan	Constraint Satisfaction with Bounded Treewidth Revisited	Artikel Article	2010
2	Dermaku, Artan ; Ganzow, Tobias ; Gottlob, Georg ; McMahan, Benjamin J. ; Musliu, Nysret ; Samer, Marko	Heuristic Methods for Hypertree Decomposition	Konferenzbeitrag Inproceedings	2008
3	Samer, Marko	Reasoning about specifications in model checking	Thesis Hochschulschrift	2004