Concepedia

Constraint Compilation

Constraint Compilation is a method in constraint programming that transforms high-level constraint representations into lower-level, executable forms through inference and reformulation to enhance solving efficiency.

35

Publications

1.4K

Citations

78

Authors

44

Institutions

Publications per year

2017–2026

4

Parents

Publications

35

Compiling constraints in clp(FD)

Philippe Codognet, Daniel Díaz · The Journal of Logic Programming · 1996 · 203 citations

, , +9

A Minimal Extension of the WAM for clp(FD)

Philippe Codognet, Daniel Díaz · HAL (Le Centre pour la Communication Scientifique Directe) · 1993 · 92 citations

, , +12

Heap Memory Management in Prolog with Tabling: Principles and Practice.

Bart Demoen, Konstantinos Sagonas · Lirias (KU Leuven) · 2001 · 91 citations · Full text

, , +12

Constraint technology for user-interface construction in ThingLab II

Jules Moloney, Alan Borning, Bjorn Freeman‐Benson · 1989 · 85 citations

, , +14

A System for Efficient and Flexible One-Way Constraint Evaluation in C++

Scott E. Hudson · SMARTech Repository (Georgia Institute of Technology) · 1993 · 67 citations

, , +15

1–5 of 35

Authors

78

  1. PJ
    Peter J. Stuckey

    The University of Melbourne, Australia

    4 publications · 126 citations

    4

    h-index

  2. PC
    Philippe Codognet

    Sorbonne Université, France

    2 publications · 295 citations

    2

    h-index

  3. CH
    Christian Holzbaur

    University of Vienna, Austria

    2 publications · 66 citations

    2

    h-index

  4. DD
    Daniel Díaz

    Université Paris 1 Panthéon-Sorbonne, France

    2 publications · 295 citations

    2

    h-index

  5. NZ
    Neng‐Fa Zhou

    Brooklyn College, United States

    2 publications · 44 citations

    2

    h-index

1–5 of 78

Institutions

44

  1. The University of Melbourne

    Melbourne, Australia

    3 h-index

    5 publications

    147 citations

  2. University of Vienna

    Vienna, Austria

    2 h-index

    2 publications

    66 citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    2 h-index

    3 publications

    452 citations

  4. Monash University

    Melbourne, Australia

    2 h-index

    2 publications

    66 citations

  5. Synopsys (United States)

    Mountain View, United States

    2 h-index

    2 publications

    49 citations

  6. Motorola (United States)

    Schaumburg, United States

    2 h-index

    2 publications

    49 citations

  7. The University of Texas at Austin

    Austin, United States

    2 h-index

    2 publications

    49 citations

  8. Ben-Gurion University of the Negev

    Beersheba, Israel

    2 h-index

    4 publications

    142 citations

1–8 of 44

Venues

  1. Science of Computer Programming

    2 publications · 102 citations

    2

    h-index

  2. Theory and Practice of Logic Programming

    2 publications · 80 citations

    2

    h-index

  3. Very Large Data Bases

    Conference · 2 publications · 109 citations

    2

    h-index

  4. ACM SIGPLAN Notices

    1 publications · 14 citations

    1

    h-index

  5. Lirias (KU Leuven)

    Repository · 1 publications · 91 citations

    1

    h-index

1–5