No photo of Ofer Strichman

View Scopus Profile

Ofer Strichman

Prof.

 https://orcid.org/0000-0001-9169-3751
    1991 …2025

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2024

      Model-Guided Synthesis for LTL over Finite Traces

      Xiao, S., Li, Y., Huang, X., Xu, Y., Li, J., Pu, G., Strichman, O. & Vardi, M. Y., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 186-207 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14499 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2022

      Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding

      Zhang, X., Xiao, S., Li, J., Pu, G. & Strichman, O., 30 Oct 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. 126. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2021

      Exploiting Isomorphic Subgraphs in SAT

      Ivrii, A. & Strichman, O., 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). p. 204-211 8 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2019

      Synthesizing reactive systems using robustness and recovery specifications

      Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., Oct 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). p. 147-151 5 p. 8894276. (Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2017

      Decision-Making with Cross-Entropy for Self-Adaptation

      Moreno, G. A., Strichman, O., Chaki, S. & Vaisman, R., 3 Jul 2017, Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017. p. 90-101 12 p. 7968136. (Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Minimal unsatisfiable core extraction for SMT

      Guthmann, O., Strichman, O. & Trostanetski, A., 24 Mar 2017, Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016. Piskac, R. & Talupur, M. (eds.). p. 57-64 8 p. 7886661. (Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Synthesizing non-vacuous systems

      Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). p. 55-72 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2016

      Cyclic routing of unmanned aerial vehicles

      Drucker, N., Penn, M. & Strichman, O., 2016, Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Proceedings. Quimper, C.-G. (ed.). p. 125-141 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9676).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Regression verification for unbalanced recursive functions

      Strichman, O. & Veitsman, M., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). p. 645-658 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2015

      Learning general constraints in CSP

      Veksler, M. & Strichman, O., 2015, Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Proceedings. Michel, L. (ed.). p. 410-426 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9075).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Learning the language of error

      Chapman, M., Chockler, H., Kesseli, P., Kroening, D., Strichman, O. & Tautschnig, M., 2015, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9364).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Mining backbone literals in incremental SAT a new kind of incremental data

      Ivrii, A., Ryvchin, V. & Strichman, O., 2015, Theory and Applications of Satisfiability Testing – SAT 2015 - 18th International Conference, Proceedings. Heule, M. & Weaver, S. (eds.). p. 88-103 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9340).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2014

      Ultimately incremental SAT

      Nadel, A., Ryvchin, V. & Strichman, O., 2014, Theory and Applications of Satisfiability Testing, SAT 2014 - 17th International Conference, Held as Part of theVienna Summer of Logic, VSL 2014, Proceedings. p. 206-218 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8561 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2013

      A new class of lineage expressions over probabilistic databases computable in p-time

      Kenig, B., Gal, A. & Strichman, O., 2013, Scalable Uncertainty Management - 7th International Conference, SUM 2013, Proceedings. p. 219-232 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8078 LNAI).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Compositional sequentialization of periodic programs

      Chaki, S., Gurfinkel, A., Kong, S. & Strichman, O., 2013, Verification, Model Checking, and Abstract Interpretation - 14th International Conference, VMCAI 2013, Proceedings. p. 536-554 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7737 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Efficient MUS extraction with resolution

      Nadel, A., Ryvchin, V. & Strichman, O., 2013, 2013 Formal Methods in Computer-Aided Design, FMCAD 2013. p. 197-200 4 p. 6679410. (2013 Formal Methods in Computer-Aided Design, FMCAD 2013).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Proving mutual termination of programs

      Elenbogen, D., Katz, S. & Strichman, O., 2013, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7857 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Verifying periodic programs with priority inheritance locks

      Chaki, S., Gurfinkel, A. & Strichman, O., 2013, 2013 Formal Methods in Computer-Aided Design, FMCAD 2013. p. 137-144 8 p. 6679402. (2013 Formal Methods in Computer-Aided Design, FMCAD 2013).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2012

      Preprocessing in incremental SAT

      Nadel, A., Ryvchin, V. & Strichman, O., 2012, Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings. p. 256-269 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7317 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Regression verification for multi-threaded programs

      Chaki, S., Gurfinkel, A. & Strichman, O., 2012, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Proceedings. p. 119-135 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7148 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2011

      Faster extraction of high-level minimal unsatisfiable cores

      Ryvchin, V. & Strichman, O., 2011, Theory and Application of Satisfiability Testing - 14th International Conference, SAT 2011, Proceedings. p. 174-187 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6695 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Linear completeness thresholds for bounded model checking

      Kroening, D., Ouaknine, J., Strichman, O., Wahl, T. & Worrell, J., 2011, Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. p. 557-572 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Time-bounded analysis of real-time systems

      Chaki, S., Gurfinkel, A. & Strichman, O., 2011, 2011 Formal Methods in Computer-Aided Design, FMCAD 2011. p. 72-80 9 p. 6148914. (2011 Formal Methods in Computer-Aided Design, FMCAD 2011).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Variants of LTL query checking

      Chockler, H., Gurfinkel, A. & Strichman, O., 2011, Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Revised Selected Papers. p. 76-92 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6504 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2010

      A proof-producing CSP solver

      Veksler, M. & Strichman, O., 2010, AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference. p. 204-209 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • A Proof-Producing CSP Solver

      Veksler, M. & Strichman, O., 15 Jul 2010, Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010. p. 204-209 6 p. (Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Inference rules for proving the equivalence of recursive procedures

      Godlin, B. & Strichman, O., 2010, Time for Verification - Essays in Memory of Amir Pnueli. Manna, Z. & Peled, D. A. (eds.). p. 167-184 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6200 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2009

      Decision diagrams for linear arithmetic

      Chaki, S., Gurfinkel, A. & Strichman, O., 7 Dec 2009, 9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009. p. 53-60 8 p. 5351143. (9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Linear-time reductions of resolution proofs

      Bar-Ilan, O., Fuhrmann, O., Hoory, S., Shacham, O. & Strichman, O., 2009, Hardware and Software: Verification and Testing - 4th International Haifa Verification Conference, HVC 2008, Proceedings. p. 114-128 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5394 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Regression verification

      Godlin, B. & Strichman, O., 2009, 2009 46th ACM/IEEE Design Automation Conference, DAC 2009. p. 466-471 6 p. 5227039. (Proceedings - Design Automation Conference).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Translation validation: From simulink to c

      Ryabtsev, M. & Strichman, O., 2009, Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. p. 696-701 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5643 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2008

      A theory-based decision heuristic for DPLL(T)

      Goldwasser, D., Strichman, O. & Fine, S., 2008, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD. 4689176. (Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Beyond vacuity: Towards the strongest passing formula

      Chockler, H., Gurfinkel, A. & Strichman, O., 2008, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD. 4689187. (Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Local restarts

      Ryvchin, V. & Strichman, O., 2008, Theory and Applications of Satisfiability Testing - SAT 2008 - 11th International Conference, SAT 2008, Proceedings. p. 271-276 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4996 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Regression verification - A practical way to verify programs

      Strichman, O. & Godlin, B., 2008, Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. p. 496-501 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4171 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2007

      Deciding bit-vector arithmetic with abstraction

      Bryant, R. E., Kroening, D., Ouaknine, J., Seshia, S. A., Strichman, O. & Brady, B., 2007, Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007. Grumberg, O. & Huth, M. (eds.). p. 358-372 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4424 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Easier and more informative vacuity checks

      Chockler, H. & Strichman, O., 2007, Proceedings - Fifth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'07. p. 189-198 10 p. 4231796. (Proceedings - Fifth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'07).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Optimized L-based assume-guarantee reasoning

      Chaki, S. & Strichman, O., 2007, Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007. Grumberg, O. & Huth, M. (eds.). p. 276-291 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4424 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Underapproximation for model-checking based on random cryptographic constructions

      Matsliah, A. & Strichman, O., 2007, Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. p. 339-351 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4590 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2006

      Deriving small unsatisfiable cores with dominators

      Gershman, R., Koifman, M. & Strichman, O., 2006, Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings. p. 109-122 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4144 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • HAIFASAT: A new robust SAT solver

      Gershman, R. & Strichman, O., 2006, Hardware and Software, Verification and Testing - First International Haifa Verification Conference, Revised Selected Papers. p. 76-89 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3875 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2004

      Completeness and complexity of bounded model checking

      Clarke, E., Kroening, D., Ouaknine, J. & Strichman, O., 2004, Verification, Model Checking, and Abstract Interpretation - 5th International Conference, VMCAI 2004, Proceedings. Steffen, B. & Levi, G. (eds.). p. 85-96 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2937).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2002

      Deciding separation formulas with SAT

      Strichman, O., Seshia, S. A. & Bryant, R. E., 2002, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Brinksma, E. & Larsen, K. G. (eds.). p. 209-222 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2404).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • On solving presburger and linear arithmetic with SAT

      Strichman, O., 2002, Formal Methods in Computer-Aided Design - 4th International Conference, FMCAD 2002, Proceedings. Aagaard, M. D. & O’Leary, J. W. (eds.). p. 160-170 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2517).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Sat based abstraction-refinement using ILP and machine learning techniques

      Clarke, E., Gupta, A., Kukula, J. & Strichman, O., 2002, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Brinksma, E. & Larsen, K. G. (eds.). p. 265-279 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2404).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2001

      Finite instantiations in equivalence logic with uninterpreted functions

      Rodeh, Y. & Shtrichman, O., 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). p. 144-154 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Pruning techniques for the SAT-based bounded model checking problem

      Shtrichman, O., 2001, Correct Hardware Design and Verification Methods - 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Proceedings. Margaria, T. & Melham, T. (eds.). p. 58-70 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2144).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Range allocation for equivalence logic

      Pnueli, A., Rodeh, Y. & Shtrichman, O., 2001, FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference, Proceedings. Hariharan, R., Vinay, V. & Mukund, M. (eds.). p. 317-333 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2245).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2000

      Tuning SAT checkers for bounded model checking

      Shtrichman, O., 2000, Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. Allen Emerson, E. & Prasad Sistla, A. (eds.). p. 480-494 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1855).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 1999

      Deciding equality formulas by small domains instantiations

      Pnueli, A., Rodeh, Y., Shtrichman, O. & Siegel, M., 1999, Computer Aided Verification - 11th International Conference, CAV 1999, Proceedings. Halbwachs, N., Peled, D. & Peled, D. (eds.). p. 455-469 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1633).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access