Releases von Carsten Sinz

Cover for Carsten Sinz · 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 - Lecture Notes in Computer Science / Theoretical Computer Sc (Taschenbuch) (2014)
Taschenbuch
Theory and Applications of Satis...
Carsten Sinz