Jaroslav Bendík

2016

Jaroslav Bendík:
Algorithms for Finding Maximal Satisfiable Sets of Constraints,
Master’s Thesis, 2016. [bibtex, pdf, url]

Jaroslav Bendík, Nikola Beneš, Jiří Barnat, and Ivana Černá:
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis,
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016, 121–136. [bibtex, url]

2014

Jaroslav Bendík:
Detekce cyklů v dynamických grafech,
Bakalářská práce, 2014. [bibtex, pdf, url]