Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings (Theoretical Computer Science and General Issues)
詳しい情報
出版社: Springer(2019-06-29)
ペーパーバック: 440 ページ / 15.5 x 2.5 x 23.5 cm
ISBN-10: 3030242579 ISBN-13: 9783030242572