Concepedia

Logic Decomposition

Logic Decomposition is a method in combinational logic synthesis that systematically breaks down complex logic functions into simpler, interrelated subfunctions while preserving overall functionality and optimizing for implementation constraints.

307

Publications

11.1K

Citations

526

Authors

251

Institutions

Publications per year

2017–2026

50

Parents

Publications

307

Partial Cylindrical Algebraic Decomposition for quantifier elimination

George E. Collins, Hoon Hong · Journal of Symbolic Computation · 1991 · 532 citations

, , +8

Multilevel logic synthesis

Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni‐Vincentelli · Proceedings of the IEEE · 1990 · 412 citations

, , +17

Planning and Scheduling by Logic-Based Benders Decomposition

John Hooker · Operations Research · 2007 · 298 citations

, , +17

A logical analysis of modules in logic programming

Dale Miller · The Journal of Logic Programming · 1989 · 235 citations

, , +10

New advances in compiling CNF to Decomposable Negation Normal form

Adnan Darwiche · European Conference on Artificial Intelligence · 2004 · 193 citations

, , +16

1–5 of 307

Authors

526

  1. LJ
    L. Jóźwiak

    Eindhoven University of Technology, Netherlands

    17 publications · 519 citations

    13

    h-index

  2. DK
    Dariusz Kania

    Silesian University of Technology, Poland

    11 publications · 288 citations

    11

    h-index

  3. MP
    Marek Perkowski

    Portland State University, United States

    11 publications · 518 citations

    10

    h-index

  4. AM
    Alan Mishchenko

    University of California, Berkeley, United States

    8 publications · 426 citations

    8

    h-index

  5. RK
    Robert K. Brayton

    University of California, Berkeley, United States

    7 publications · 734 citations

    7

    h-index

1–5 of 526

Institutions

251

  1. University of California, Berkeley

    Berkeley, United States

    16 h-index

    43 publications

    2.7K citations

  2. Eindhoven University of Technology

    Eindhoven, The Netherlands

    12 h-index

    25 publications

    486 citations

  3. Warsaw University of Technology

    Warsaw, Poland

    11 h-index

    23 publications

    560 citations

  4. Silesian University of Technology

    Gliwice, Poland

    11 h-index

    20 publications

    448 citations

  5. Portland State University

    Portland, United States

    10 h-index

    19 publications

    659 citations

  6. Intel (United States)

    Santa Clara, United States

    9 h-index

    10 publications

    323 citations

  7. University of Toronto

    Toronto, Canada

    8 h-index

    15 publications

    471 citations

  8. Universitat Politècnica de Catalunya

    Barcelona, Spain

    8 h-index

    12 publications

    261 citations

1–8 of 251

Venues

  1. 18

    h-index

  2. IEEE Transactions on Computers

    9 publications · 311 citations

    9

    h-index

  3. Computers & Operations Research

    8 publications · 225 citations

    7

    h-index

  4. INFORMS journal on computing

    6 publications · 256 citations

    6

    h-index

  5. 5

    h-index

1–5