Concepedia

Bit-vector Reasoning

Bit-Vector Reasoning is a formal reasoning technique within Satisfiability Modulo Theories that specifically handles constraints over fixed-size bit vectors using domain-specific inference rules and decision procedures to determine satisfiability.

34

Publications

1.1K

Citations

85

Authors

35

Institutions

Publications per year

2017–2026

11

Parents

Publications

34

Data flow analysis is model checking of abstract interpretations

David A. Schmidt · 1998 · 189 citations

, , +16

The ELDARICA Horn Solver

Hossein Hojjat, Philipp Rümmer · 2018 · 127 citations · Full text

, , +11

Efficiently solving quantified bit-vector formulas

Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura · Formal Methods in System Design · 2012 · 55 citations

, , +7

Automated synthesis of symbolic instruction encodings from I/O samples

Patrice Godefroid, Ankur Taly · 2012 · 54 citations

, , +14

Deciding floating-point logic with systematic abstraction

Leopold Haller, Alberto Griggio, Martin Brain et al. · Oxford University Research Archive (ORA) (University of Oxford) · 2012 · 51 citations · Full text

, , +14

1–5 of 34

Authors

85

  1. CR
    Cynthia Rudin

    Duke University, United States

    3 publications · 55 citations

    3

    h-index

  2. DK
    Daniel Kroening

    University of Oxford, United Kingdom

    3 publications · 128 citations

    3

    h-index

  3. CM
    Christoph M. Wintersteiger

    Microsoft Research (United Kingdom), United Kingdom

    3 publications · 111 citations

    3

    h-index

  4. TW
    Tobias Welp

    University of California, Berkeley, United States

    2 publications · 42 citations

    2

    h-index

  5. AN
    Alexander Nadel

    Intel (Israel), Israel

    2 publications · 45 citations

    2

    h-index

1–5 of 85

Institutions

35

  1. Microsoft (United States)

    Redmond, United States

    4 h-index

    5 publications

    176 citations

  2. University of California, Berkeley

    Berkeley, United States

    3 h-index

    5 publications

    133 citations

  3. University of Oxford

    Oxford, United Kingdom

    3 h-index

    6 publications

    279 citations

  4. Intel (Israel)

    Kiryat Gat, Israel

    3 h-index

    5 publications

    107 citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    6 publications

    222 citations

  6. Duke University

    Durham, United States

    2 h-index

    5 publications

    86 citations

  7. Fondazione Bruno Kessler

    Trento, Italy

    2 h-index

    2 publications

    100 citations

  8. Johannes Kepler University of Linz

    Linz, Austria

    2 h-index

    5 publications

    116 citations

1–8 of 35

Venues

  1. Formal Methods in System Design

    4 publications · 152 citations

    4

    h-index

  2. arXiv (Cornell University)

    Repository · 3 publications · 55 citations

    3

    h-index

  3. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 2 publications · 56 citations

    2

    h-index

  4. ACM SIGPLAN Notices

    1 publications · 11 citations

    1

    h-index

  5. 1

    h-index

1–5