Strichman, Ofer books & textbook
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel Strichman, Ofer
Springer /2018-07-13 Paperback / 377 Pages
isbn-10: 3662570653 / isbn-13: 9783662570654
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering)
Strichman, Ofer Tzoref-Brill, Rachel
Springer /2017-11-12 Paperback / 275 Pages
isbn-10: 3319703889 / isbn-13: 9783319703886
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Ofer Strichman R. E. Bryant Daniel Kroening Ofer Strichman
Springer /2010-01-01 Paperback / 306 Pages
isbn-10: 3642093442 / isbn-13: 9783642093449
Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
LAP LAMBERT Academic Publishing /2010-05-15 Paperback / 116 Pages
isbn-10: 3838300823 / isbn-13: 9783838300825
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