Selected on-line Presentations

Most of my powerpoint presentations can be found in my publications page, adjacent to the relevant article. In this page you will find some other presentations. Note: some of the older presentations below include equations generated by MathType (this was before texpoint days). This means that you will need to install the fences.ttf font to see them correctly.


·        SAT, CSP, and proofs (HVC'13 tutorial) power-point.

·        Regression verification: proving the equivalence of similar programs (CAV'09 invited talk) power-point


·        CAV'06:Deriving small unsatisfiable cores with dominators power-point


·        SSPV'06:HaifaSat, and itnegrating Hints with SAT power-point


·        SAT solvers: an overview power-point

·        Tuning SAT Checkers for Bounded Model Checking: An Overview. power-point

·        Workshop on Constraints in formal Verification (CFV’02): SAT-based abstraction/refinement in model checking power-point

·        Workshop on Constraints in formal Verification (CFV’02): A failed attempt to optimize variable ordering with tools for constraints solving power-point

·        A draft presentation for FMCAD02, Oregon, Nov. 2002: On solving Presburger and linear arithmetic with SAT power point

·        CAV02, Copenhagen, July 2002: Deciding separation logic with SAT power-point

·        Technion 01/ CMU 02:  Heuristics for efficient SAT solving (as implemented in Grasp, Chaff and Gsat)  power point

·        IBM seminar (Haifa), March 2000/ CAV00 (July 2000): Tuning SAT checkers for Bounded Model Checking power-point

·        CAV99, Trento (Italy), July 1999: Deciding equality formulas by small domain instantiations Power-point

·        Uninterpreted functions series, Technion, Dec. 98 Power-point and postscript

Back to Ofer Strichman's home page