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. (2020). SAT and Interactions (Dagstuhl Seminar 20061). Dagstuhl Reports, 10(2), 1–18. https://doi.org/10.4230/DagRep.10.2.1
-
Publisher DOI: 
10.4230/DagRep.10.2.1
-
Publication Type: 
Article - Original Research Article
en
Authors: 
Beyersdorff, Olaf 
Egly, Uwe 
Mahajan, Meena 
Nalon, Claudia 
-
Organisational Unit: 
E192-03 - Forschungsbereich Knowledge Based Systems 
-
Journal: 
Dagstuhl Reports 
-
Date (published): 
2020
-
Number of Pages: 
18
-
Publisher: 
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
-
Peer reviewed: 
No
-
Science Branch: 
Informatik
-
Appears in Collections:
Article

Show full item record

Google ScholarTM

Check