Author books / Книги автора Matti Jarvisalo Allen Van Gelder » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Matti Jarvisalo Allen Van Gelder

book Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

pdf

Author: Matti Jarvisalo Allen Van Gelder
Language: English
Year: 2013

00

29.01.2024

0

0