Szeider, Stefan books & textbook
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6175)
Strichman, Ofer Szeider, Stefan
Springer /2010-06-30 Paperback / 413 Pages
isbn-10: 3642141854 / isbn-13: 9783642141850
Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers (Theoretical Computer Science and General Issues)
Gutin, Gregory Szeider, Stefan
Springer /2013-11-29 Paperback / 387 Pages
isbn-10: 3319038974 / isbn-13: 9783319038971
