[Back]


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.