Minimal Sets over a Monotone Predicate: Enumeration and Counting

Jaroslav Bendík
March 2021
PDF Cite
Type
Thesis
Publication
Faculty of Informatics, Masaryk University, Czech Republic
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead