Online Library TheLib.net » Author books / Книги автора Beyersdorff Olaf,Wintersteiger Christoph M
book 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
pdf
00
30.01.2024
0
0
Read online