Concepedia

Expression Simplification

Expression Simplification is a relational algebraic method that reduces complex query expressions into equivalent, computationally more efficient forms by applying algebraic laws and semantic-preserving transformations.

58

Publications

3.6K

Citations

83

Authors

57

Institutions

Publications per year

2017–2026

7

Variants

Query Simplification

Parents

Publications

58

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 901 citations · Full text

, , +16

A Way to Simplify Truth Functions

W. V. Quine · American Mathematical Monthly · 1955 · 572 citations

, , +6

A Way to Simplify Truth Functions

W. V. Quine · American Mathematical Monthly · 1955 · 321 citations

, , +6

Learning to Perform Local Rewriting for Combinatorial Optimization

Xinyun Chen, Yuandong Tian · arXiv (Cornell University) · 2018 · 156 citations · Full text

, , +16

Algebraic simplification

Joel Moses · Communications of the ACM · 1971 · 138 citations · Full text

, , +8

1–5 of 58

Authors

83

  1. TS
    T. Sasao

    Kyushu Institute of Technology, Japan

    6 publications · 273 citations

    6

    h-index

  2. RJ
    Richard J. Fateman

    University of California, Berkeley, United States

    3 publications · 67 citations

    3

    h-index

  3. DD
    Debatosh Debnath

    Oakland University, United States

    2 publications · 32 citations

    2

    h-index

  4. YT
    Yuandong Tian

    Meta (Israel), Israel

    2 publications · 230 citations

    2

    h-index

  5. OD
    Olivier Danvy

    Aarhus University, Denmark

    2 publications · 37 citations

    2

    h-index

1–5 of 83

Institutions

57

  1. Kyushu Institute of Technology

    Kitakyushu, Japan

    7 h-index

    9 publications

    315 citations

  2. IBM (United States)

    Armonk, United States

    4 h-index

    6 publications

    178 citations

  3. University of California, Berkeley

    Berkeley, United States

    3 h-index

    4 publications

    266 citations

  4. United States Naval Academy

    Annapolis, United States

    2 h-index

    2 publications

    38 citations

  5. Johannes Kepler University of Linz

    Linz, Austria

    2 h-index

    3 publications

    45 citations

  6. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    3 publications

    51 citations

  7. Meta (Israel)

    Tel Aviv, Israel

    2 h-index

    2 publications

    230 citations

  8. Harvard University Press

    Cambridge, United States

    2 h-index

    2 publications

    893 citations

1–8 of 57

Venues

  1. Journal of Symbolic Computation

    5 publications · 161 citations

    6

    h-index

  2. IEEE Transactions on Computers

    3 publications · 62 citations

    3

    h-index

  3. American Mathematical Monthly

    2 publications · 893 citations

    2

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 40 citations

    2

    h-index

  5. Communications of the ACM

    2 publications · 169 citations

    2

    h-index

1–5