Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
著者
書誌事項
Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
（Lecture notes in computer science, 10929 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues）
Springer, c2018
- タイトル別名
-
SAT 2018
大学図書館所蔵 全1件
注記
Includes bibliographical references and index