학술논문
Preface
Document Type
Editorial
Author
Source
In: Theory and Applications of Satisfiability Testing – SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10929 LNCS:v-vii)
Subject
Language
English
ISSN
16113349
03029743
03029743