Record link: 
http://hdl.handle.net/20.500.12708/24774
-
Title: 
SAT and Interactions (Dagstuhl Seminar 20061)
-
Citation: 
Beyersdorff, O., Egly, U., Mahajan, M., & Nalon, C. (Eds.). (2020). SAT and Interactions (Dagstuhl Seminar 20061). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DagRep.10.2.1
-
Publisher DOI: 
10.4230/DagRep.10.2.1
-
Publication Type: 
Proceedings - Full Paper Book
en
Editors: 
Beyersdorff, Olaf 
Egly, Uwe 
Mahajan, Meena 
Nalon, Claudia 
-
Organisational Unit: 
E192-03 - Forschungsbereich Knowledge Based Systems 
-
Series: 
Dagstuhl Reports 
-
Date (published): 
2020
-
Number of Pages: 
18
-
Publisher: 
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
-
Peer reviewed: 
No
-
Science Branch: 
Informatik
-
Appears in Collections:
Proceedings

Show full item record

Page view(s)

174
checked on Nov 23, 2023

Google ScholarTM

Check