Ebook: Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings
Author: Gaspers Serge, Walsh Toby
- Tags: Propositional calculus -- Congresses., Algebra Boolean -- Congresses., Computer algorithms -- Congresses., Decision making -- Congresses., Algebra Boolean., Computer algorithms., Decision making., Propositional calculus.
- Series: Lecture notes in computer science 10491, LNCS sublibrary. SL 1 Theoretical computer science and general issues
- Year: 2017
- City: Melbourne, Vic.)
- Language: English
- pdf
Download the book Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)