Ofer Strichman

Ofer Strichman Ofer Strichman (; born: 4 September 1968) is a professor of computational logic and computer science at the Faculty of Data and Decision Sciences, Technion – Israel Institute of Technology. He holds the Joseph Gruenblat chair in production engineering. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Strichman, Ofer', query time: 0.02s Refine Results
  1. 1
    Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
    by Strichman, Ofer
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Decision Procedures An Algorithmic Point of View /
    by Kroening, Daniel, Strichman, Ofer
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Decision Procedures An Algorithmic Point of View /
    by Kroening, Daniel, Strichman, Ofer
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Published 2010
    Other Authors: “…Strichman, Ofer…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
    Published 2017
    Other Authors: “…Strichman, Ofer…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search