Books and Book Editorships:
O. Beyersdorff, U. Egly, M. Mahajan, C. Nalon:
"SAT and Interactions (Dagstuhl Seminar 20061)";
in series "Dagstuhl Reports",
series editor: Schloss Dagstuhl;
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2020,
ISSN: 2192-5283,
18 pages.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/DagRep.10.2.1
Created from the Publication Database of the Vienna University of Technology.