Strichman, Ofer books & textbook
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel Strichman, Ofer
Springer /2017-01-27 Hardcover / 377 Pages
isbn-10: 3662504960 / isbn-13: 9783662504963
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel Strichman, Ofer Bryant, R.E.
Springer /2008-05-23 Hardcover / 322 Pages
isbn-10: 3540741046 / isbn-13: 9783540741046
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
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