Talks and Poster Presentations (with Proceedings-Entry):
M. Hermann, G. Salzer et al.:
"MCP: Capturing Big Data by Satisfiability (Tool Description)";
Talk: SAT 2021,
Barcelona;
2021-07-05
- 2021-07-09; in: "Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings",
Springer LNCS,
12831
(2021),
ISBN: 978-3-030-80222-6;
207
- 215.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-80223-3_14
Created from the Publication Database of the Vienna University of Technology.