Concepedia

Exact Boolean Computation

Exact Boolean Computation is a formal computational method that performs logically precise set-theoretic operations on Boolean variables or geometric representations, ensuring mathematically correct results without approximation, discretization, or numerical error.

9

Publications

489

Citations

23

Authors

11

Institutions

Publications per year

2017–2026

3

Parents

Publications

9

Verifying Properties of Binarized Deep Neural Networks

Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk et al. · 2018 · 192 citations · Full text

, , +15

Approximate Boolean operations on free-form solids

Henning Biermann, Daniel Kristjansson, Denis Zorin · 2001 · 107 citations

, , +13

Verifying Properties of Binarized Deep Neural Networks

Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2018 · 44 citations · Full text

, , +15

A certified, corecursive implementation of exact real numbers

Alberto Ciaffaglione, Pietro Di Gianantonio · Theoretical Computer Science · 2005 · 35 citations

, , +9

Fast Exact Booleans for Iterated CSG using Octree-Embedded BSPs

Julius Nehring-Wirxel, Philip Trettner, Leif Kobbelt · Computer-Aided Design · 2021 · 34 citations · Full text

, , +14

1–5 of 9

Authors

23

  1. TW
    Toby Walsh

    Data61, Australia

    2 publications · 236 citations

    2

    h-index

  2. MS
    Mooly Sagiv

    Tel Aviv University, Israel

    2 publications · 236 citations

    2

    h-index

  3. NN
    Nina Narodytska

    Data61, Australia

    2 publications · 236 citations

    2

    h-index

  4. LR
    Leonid Ryzhyk

    Data61, Australia

    2 publications · 236 citations

    2

    h-index

  5. SP
    Shiva Prasad Kasiviswanathan

    Samsung (United States), United States

    2 publications · 236 citations

    2

    h-index

1–5 of 23

Institutions

11

  1. International Data Group (Sweden)

    Stockholm, Sweden

    2 h-index

    2 publications

    236 citations

  2. Amazon (Germany)

    Berlin, Germany

    2 h-index

    2 publications

    236 citations

  3. New York University

    New York, United States

    1 h-index

    2 publications

    214 citations

  4. Data61

    Sydney, Australia

    1 h-index

    1 publications

    192 citations

  5. RWTH Aachen University

    Aachen, Germany

    1 h-index

    3 publications

    102 citations

  6. University of Udine

    Udine, Italy

    1 h-index

    2 publications

    70 citations

  7. Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

    Lisbon, Portugal

    1 h-index

    2 publications

    66 citations

  8. Universidade Católica de Pelotas

    Pelotas, Brazil

    1 h-index

    1 publications

    33 citations

1–8 of 11

Venues

  1. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 1 publications · 44 citations

    1

    h-index

  2. Theoretical Computer Science

    1 publications · 35 citations

    1

    h-index

  3. Computer-Aided Design

    1 publications · 34 citations

    1

    h-index

  4. 1

    h-index

1–4