Concepedia

Boolean Function Equivalence

Boolean Function Equivalence is a formal relation that holds between two Boolean expressions when they yield identical output values for all possible combinations of input values, thereby belonging to the class of logical equivalences with the distinguishing characteristic of preserving functional behavior across distinct syntactic representations.

71

Publications

2K

Citations

135

Authors

92

Institutions

Publications per year

2017–2026

6

Variants

Boolean Equivalence

Parents

Publications

71

Decomposition of a Data Base and the Theory of Boolean Switching Functions

Claude Delobel, R. G. Casey · IBM Journal of Research and Development · 1973 · 128 citations

, , +17

Exact learning via the Monotone theory

Nader H. Bshouty · 2002 · 116 citations

, , +12

Efficient Boolean manipulation with OBDD's can be extended to FBDD's

Jordan Gergov, Christoph Meinel · IEEE Transactions on Computers · 1994 · 115 citations

, , +16

A framework to express variant and invariant functional spaces for binary logic

Jeffrey Zheng, Christian Zheng · Frontiers of Electrical and Electronic Engineering in China · 2010 · 73 citations

, , +10

Boolean functions classification via fixed polarity Reed-Muller forms

Chien-Chung Tsai, Malgorzata Marek-Sadowska · IEEE Transactions on Computers · 1997 · 68 citations

, , +14

1–5 of 71

Authors

135

  1. CC
    Claude Carlet

    Université Paris 8, France

    3 publications · 55 citations

    3

    h-index

  2. JM
    Janett Mohnke

    Princeton University, United States

    3 publications · 147 citations

    3

    h-index

  3. LB
    Lilya Budaghyan

    University of Bergen, Norway

    3 publications · 55 citations

    3

    h-index

  4. NH
    Nader H. Bshouty

    University of Calgary, Canada

    2 publications · 143 citations

    2

    h-index

  5. US
    Ulf Schlichtmann

    Technical University of Munich, Germany

    2 publications · 60 citations

    2

    h-index

1–5 of 135

Institutions

92

  1. University of Bergen

    Bergen, Norway

    5 h-index

    10 publications

    150 citations

  2. Humboldt-Universität zu Berlin

    Berlin, Germany

    3 h-index

    5 publications

    197 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    4 publications

    97 citations

  4. Princeton University

    Princeton, United States

    2 h-index

    2 publications

    83 citations

  5. Republic of Korea Army

    Daejeon, South Korea

    2 h-index

    2 publications

    47 citations

  6. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    2 h-index

    3 publications

    45 citations

  7. Laboratoire Analyse, Géométrie et Applications

    Villetaneuse, France

    2 h-index

    2 publications

    36 citations

  8. Université Paris Cité

    Paris, France

    2 h-index

    2 publications

    39 citations

1–8 of 92

Venues

  1. IEEE Transactions on Computers

    5 publications · 240 citations

    5

    h-index

  2. IEEE Transactions on Electronic Computers

    5 publications · 117 citations

    5

    h-index

  3. Designs Codes and Cryptography

    3 publications · 87 citations

    3

    h-index

  4. IEEE Transactions on Information Theory

    3 publications · 38 citations

    3

    h-index

  5. 3

    h-index

1–5