Matti Jarvisalo - Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 456, publicationDate : 2013-07-19, releaseDate : 2013-07-19, publishers : Matti Jarvisalo, languages : english, ISBN : 3642390706 ...