Talks and Poster Presentations (with Proceedings-Entry):
M. Janota, M. Suda:
"Towards Smarter MACE-style Model Finders";
Talk: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Awassa, Ethiopia;
11-16-2018
- 11-21-2018; in: "LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018.",
EasyChair EPiC Series in Computing,
57
(2018),
454
- 470.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.29007/w42s
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_277425.pdf
Created from the Publication Database of the Vienna University of Technology.