MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Ofer Strichman – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

On Solving Presburger and Linear Arithmetic with SAT
by Ofer Strichman — 2002 — In Proc. of Formal Methods in Computer-Aided Design (FMCAD 2002), LNCS
…On Solving Presburger and Linear Arithmetic with SAT ? Ofer Strichman Computer Science, Carnegie…
Cited by 18 (1 self) – Add To MetaCart

Optimizations in Decision Procedures for Propositional Linear Inequalities
by Ofer Strichman — 2002 — Carnegie Mellon University
…Optimizations in Decision Procedures for Propositional Linear Inequalities Ofer Strichman May 23…
Cited by 4 (1 self) – Add To MetaCart

Cost-effective hyper-resolution for preprocessing cnf formulas
by Roman Gershman, Ofer Strichman — 2005 — Theory and Applications of Satisfiability Testing (SAT’05
…Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas Roman Gershman 1 Ofer Strichman 2 1…
Cited by 2 (1 self) – Add To MetaCart

Optimized l*-based assumeguarantee reasoning
by Sagar Chaki, Ofer Strichman — 2007 — In (to appear) Proc. of the 19 th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’07
…Optimized L*-based Assume-Guarantee Reasoning ⋆ Sagar Chaki 1 Ofer Strichman 2 1 Software…
Cited by 3 (0 self) – Add To MetaCart

Easier and More Informative Vacuity Checks
by Hana Chockler, Ofer Strichman
…, Israel. hanac@(email omitted); Ofer Strichman Information Systems Engineering, IE, Technion, Haifa 32000…
Cited by 1 (0 self) – Add To MetaCart

Underapproximation for model-checking based on random cryptographic constructions
by Arie Matsliah, Ofer Strichman — 2007 — Proc. 19 th Intl. Conference on Computer Aided Verification (CAV’07), volume 4590 of Lect. Notes in Comp. Sci
…,2 Ofer Strichman 1,3 1 IBM Haifa Research Laboratory, Haifa, Israel. 2 Faculty of Computer Science…
Cited by 3 (1 self) – Add To MetaCart

Abstraction Refinement for Bounded Model Checking
by Anubhav Gupta, Ofer Strichman — 2005 — In Proc. CAV’05
…Abstraction Refinement for Bounded Model Checking Anubhav Gupta 1 Ofer Strichman 2 1 School…
Cited by 6 (0 self) – Add To MetaCart

Efficient Computation of Recurrence Diameters
by Daniel Kroening, Ofer Strichman — 2003 — 4th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 2575 of Lecture Notes in Computer Science
…Efficient Computation of Recurrence Diameters ⋆ Daniel Kroening and Ofer Strichman Computer…
Cited by 31 (14 self) – Add To MetaCart

Generating minimum transitivity constraints in P-time for deciding Equality Logic
by Ofer Strichman, Mirron Rozanov
…Generating minimum transitivity constraints in P-time for deciding Equality Logic Ofer Strichman…
Cited by 1 (0 self) – Add To MetaCart

Yet another decision procedure for equality logic
by Orly Meir, Ofer Strichman — 2005 — In Proc. CAV-17, K. Etessami and S. Rajamani, Eds. LNCS
…Yet Another Decision Procedure for Equality Logic (full version) Orly Meir 1 and Ofer Strichman 2…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB