Concepedia

Partition Refinement

Partition refinement is a mathematical operation that iteratively splits subsets within a partition of a set according to an introduced equivalence relation, thereby producing a finer partition that maintains disjointness and covers the original set.

39

Publications

2.9K

Citations

88

Authors

64

Institutions

Publications per year

2017–2026

8

Parents

Publications

39

Three Partition Refinement Algorithms

Robert Paige, Robert E. Tarjan · SIAM Journal on Computing · 1987 · 1.2K citations

, , +13

Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing

Michel Habib, Ross M. McConnell, Christophe Paul et al. · Theoretical Computer Science · 2000 · 281 citations · Full text

, , +11

Abstract interpretation and partition refinement for model checking

Dennis Dams · TU/e Research Portal (Eindhoven University of Technology) · 1996 · 196 citations · Full text

, , +10

Exploiting structure in symmetry detection for CNF

Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah et al. · 2004 · 156 citations

, , +14

Recent progress in continuous and hybrid reachability analysis

Eugène Asarin, Thao Dang, Goran Frehse et al. · 2006 · 107 citations

, , +17

1–5 of 39

Authors

88

  1. AV
    Andrea Vandin

    IMT School for Advanced Studies Lucca, Italy

    3 publications · 98 citations

    3

    h-index

  2. LC
    Luca Cardelli

    Microsoft Research (United Kingdom), United Kingdom

    3 publications · 98 citations

    3

    h-index

  3. MT
    Mirco Tribastone

    IMT School for Advanced Studies Lucca, Italy

    3 publications · 98 citations

    3

    h-index

  4. MT
    Max Tschaikowski

    IMT School for Advanced Studies Lucca, Italy

    3 publications · 98 citations

    3

    h-index

  5. MS
    Martine Schlag

    University of California, Santa Cruz, United States

    2 publications · 101 citations

    2

    h-index

1–5 of 88

Institutions

64

  1. University of Oxford

    Oxford, United Kingdom

    3 h-index

    3 publications

    98 citations

  2. IMT School for Advanced Studies Lucca

    Lucca, Italy

    3 h-index

    7 publications

    240 citations

  3. University of Twente

    Enschede, The Netherlands

    2 h-index

    3 publications

    41 citations

  4. Technical University of Denmark

    Kongens Lyngby, Denmark

    2 h-index

    4 publications

    78 citations

  5. Laboratoire d'Informatique Algorithmique: Fondements et Applications

    Paris, France

    2 h-index

    2 publications

    388 citations

  6. University of California, Santa Cruz

    Santa Cruz, United States

    2 h-index

    6 publications

    303 citations

  7. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    2 h-index

    3 publications

    137 citations

  8. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    2 publications

    71 citations

1–8 of 64

Venues

  1. TU/e Research Portal (Eindhoven University of Technology)

    Repository · 2 publications · 237 citations

    2

    h-index

  2. Theoretical Computer Science

    2 publications · 308 citations

    2

    h-index

  3. arXiv (Cornell University)

    Repository · 2 publications · 33 citations

    2

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 83 citations

    2

    h-index

  5. Computers & Mathematics with Applications

    1 publications · 23 citations

    1

    h-index

1–5