Theory and Applications of Satisfiability Testing – SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings PDF

468 Pages

2014

9.223 MB

English

Checking for file health...

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.