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)

Created from the Publication Database of the Vienna University of Technology.