Author books / Книги автора Luca Pulina (editor) Martina Seidl (editor) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Luca Pulina (editor) Martina Seidl (editor)

book Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Lecture Notes in Computer Science (12178))

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

pdf

Author: Luca Pulina (editor) Martina Seidl (editor)
Language: English
Year: 2020

00

06.02.2024

0

0