@proceedings {5249, title = {Iterative and incremental model generation by logic solvers}, journal = {19th International Conference on Fundamental Approaches to Software Engineering}, year = {2016}, month = {04/2016}, address = {Eindhoven, The Netherlands}, url = {http://www.etaps.org/index.php/2016/fase/fase-accepted}, author = {Oszk{\'a}r Semer{\'a}th and Andr{\'a}s V{\"o}r{\"o}s and D{\'a}niel Varr{\'o}} }