Theory and Applications of Satisfiability Testing SAT 2020 23rd International Conference Alghero Italy July 3 10 2020 Proceedings Lecture Notes in Computer Science 12178 Luca Pulina (Editor)

Original price was: $50.00.Current price is: $25.00.

Theory and Applications of Satisfiability Testing SAT 2020 23rd International Conference Alghero Italy July 3 10 2020 Proceedings Lecture Notes in Computer Science 12178 Luca Pulina (Editor) Digital Instant Download

Author(s): Luca Pulina (editor), Martina Seidl (editor)
ISBN(s): 9783030518240, 3030518248
Edition: 1st ed. 2020
File Details: PDF, 26.53 MB
Year: 2020
Language: English
SKU: EB-11371754 Category: Tags: ,