AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Ofer Strichman

Ofer Strichman

Technion Israel Institute of Technology - Haifa / Israel
Others
AD Scientific Index ID: 414059
הטכניון – מכון טכנולוגי לישראל
person_outline Ofer Strichman's MOST POPULAR ARTICLES
1-) Bounded model checking Handbook of satisfiability, 739-764, 2021
2-) Decision procedures Springer, 2016
3-) Error explanation with distance metrics International Journal on Software Tools for Technology Transfer 8 (3), 229-247, 2006
4-) SAT based abstraction-refinement using ILP and machine learning techniques International Conference on Computer Aided Verification, 265-279, 2002
5-) Pruning techniques for the SAT-based bounded model checking problem Advanced Research Working Conference on Correct Hardware Design and …, 2001