@mastersthesis{Bendik2016thesis,
 author = {Jaroslav Bendík},
 school = {Masarykova univerzita, Fakulta informatiky, Brno},
 supervisor = {Ivana Černá},
 title = {{Algorithms for Finding Maximal Satisfiable Sets of Constraints}},
 type = {Master's Thesis},
 url = {http://is.muni.cz/th/396057/fi_m/},
 year = {2016}
}