Concepedia

Model Enumeration

Model Enumeration is the computational task of systematically generating all distinct satisfying assignments of a logical formula within a given theory, thereby identifying every valid model that satisfies the constraints under consideration.

70

Publications

3.6K

Citations

135

Authors

89

Institutions

Publications per year

2017–2026

13

Parents

Publications

70

Classification theory and the number of non-isomorphic models

Journal of Pure and Applied Algebra · 1991 · 619 citations

, , +4

Algebraic languages and polyominoes enumeration

M. Delest, Gérard Viennot · Theoretical Computer Science · 1984 · 328 citations

, , +14

Denumerable models of complete theories

Robert L. Vaught · CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS eBooks · 2003 · 138 citations

, , +9

SEM: a system for enumerating models

Jian Zhang, Hantao Zhang · 1995 · 136 citations

, , +10

Enumeration and Simulation Methods for 0–1 Matrices with Given Marginals

Tom A. B. Snijders · Psychometrika · 1991 · 134 citations

, , +10

1–5 of 70

Authors

135

  1. JM
    João Marques‐Silva

    Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal

    4 publications · 193 citations

    4

    h-index

  2. AD
    Amol Deshpande

    University of Maryland, College Park, United States

    3 publications · 173 citations

    3

    h-index

  3. JL
    Jean-Marie Lagniez

    Université d'Artois, France

    3 publications · 53 citations

    3

    h-index

  4. SS
    Saharon Shelah

    Hebrew University of Jerusalem, Israel

    2 publications · 148 citations

    2

    h-index

  5. ST
    Samidh Talsania

    Decision Systems (United States), United States

    2 publications · 47 citations

    2

    h-index

1–5 of 135

Institutions

89

  1. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    11 publications

    254 citations

  2. Université d'Artois

    Arras, France

    4 h-index

    12 publications

    213 citations

  3. Hebrew University of Jerusalem

    Jerusalem, Israel

    3 h-index

    5 publications

    289 citations

  4. Arizona State University

    Tempe, United States

    2 h-index

    6 publications

    141 citations

  5. Decision Systems (United States)

    Northbrook, United States

    2 h-index

    6 publications

    141 citations

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

    Lisbon, Portugal

    2 h-index

    3 publications

    175 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    2 h-index

    2 publications

    49 citations

  8. University of California, Berkeley

    Berkeley, United States

    2 h-index

    3 publications

    266 citations

1–8 of 89

Venues

  1. arXiv (Cornell University)

    Repository · 4 publications · 97 citations

    4

    h-index

  2. Discrete Mathematics

    4 publications · 103 citations

    4

    h-index

  3. Theoretical Computer Science

    4 publications · 453 citations

    4

    h-index

  4. Israel Journal of Mathematics

    3 publications · 188 citations

    3

    h-index

  5. Artificial Intelligence

    3 publications · 61 citations

    3

    h-index

1–5