Concepedia

Logical Constraints

Logical Constraints is a type of constraint in constraint modeling that belongs to the class of declarative restrictions governing the allowable combinations of variable assignments, differentiated by its formulation using formal logic expressions—such as propositional or predicate logic—to capture feasibility conditions in a problem.

216

Publications

12.8K

Citations

536

Authors

249

Institutions

Publications per year

2017–2026

53

Parents

Publications

216

From Utterance to Text: The Bias of Language in Speech and Writing

David R. Olson · Harvard Educational Review · 1977 · 1.1K citations

, , +13

Inductive logic programming

Stephen Muggleton · New Generation Computing · 1991 · 945 citations

, , +16

Spacecraft Trajectory Planning with Avoidance Constraints Using Mixed-Integer Linear Programming

Arthur Richards, Tom Schouwenaars, Jonathan P. How et al. · Journal of Guidance Control and Dynamics · 2002 · 500 citations

, , +17

Network science on belief system dynamics under logic constraints

Noah E. Friedkin, Anton V. Proskurnikov, Roberto Tempo et al. · Science · 2016 · 385 citations · Full text

, , +16

Scheduling in production, supply chain and Industry 4.0 systems by optimal control: fundamentals, state-of-the-art and applications

Alexandre Dolgui, Dmitry Ivanov, Suresh Sethi et al. · International Journal of Production Research · 2018 · 296 citations · Full text

, , +17

1–5 of 216

Authors

536

  1. MS
    Mauro Scanu

    Istituto Nazionale di Statistica, Italy

    5 publications · 175 citations

    5

    h-index

  2. EP
    Enrico Pontelli

    New Mexico State University, United States

    4 publications · 203 citations

    4

    h-index

  3. ID
    Ivan Donadello

    Fondazione Bruno Kessler, Italy

    3 publications · 95 citations

    3

    h-index

  4. JH
    Jeff Huang

    Texas A&M University, United States

    3 publications · 76 citations

    3

    h-index

  5. TG
    Turan Gönen

    University of Missouri, United States

    3 publications · 252 citations

    3

    h-index

1–5 of 536

Institutions

249

  1. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    19 publications

    498 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    6 h-index

    14 publications

    416 citations

  3. Purdue University West Lafayette

    West Lafayette, United States

    5 h-index

    6 publications

    84 citations

  4. New Mexico State University

    Las Cruces, United States

    4 h-index

    5 publications

    268 citations

  5. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    11 publications

    2.3K citations

  6. Georgia Institute of Technology

    Atlanta, United States

    4 h-index

    11 publications

    756 citations

  7. Stanford University

    Stanford, United States

    4 h-index

    10 publications

    547 citations

  8. University of Verona

    Verona, Italy

    3 h-index

    3 publications

    138 citations

1–8 of 249

Venues

  1. arXiv (Cornell University)

    Repository · 6 publications · 207 citations

    6

    h-index

  2. Artificial Intelligence

    5 publications · 277 citations

    5

    h-index

  3. ACM SIGMOD Record

    3 publications · 109 citations

    3

    h-index

  4. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 3 publications · 52 citations

    3

    h-index

  5. ACM SIGPLAN Notices

    2 publications · 79 citations

    2

    h-index

1–5