Concepedia

Forward Checking

Forward Checking is a constraint propagation algorithm in constraint satisfaction problems that, after assigning a value to a variable, prunes the domains of unassigned variables by removing values that conflict with the assignment, thereby maintaining arc consistency in one direction.

38

Publications

3.5K

Citations

63

Authors

38

Institutions

Publications per year

2017–2026

1

Parents

Publications

38

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Richard Stallman, Gerald Jay Sussman · Artificial Intelligence · 1977 · 714 citations

, , +7

Structural Descriptions and Inexact Matching

Linda G. Shapiro, Robert M. Haralick · IEEE Transactions on Pattern Analysis and Machine Intelligence · 1981 · 542 citations · Full text

, , +12

HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM

Patrick Prosser · Computational Intelligence · 1993 · 519 citations

, , +14

Experiment al Results on the Application of Sat isfiability Algorithms to Scheduling Problems

James M. Crawford, Andrew B. Baker · 1994 · 195 citations

, , +12

Solution Reuse in Dynamic Constraint Satisfaction Problems

Thomas Schiex · 1994 · 178 citations

, , +14

1–5 of 38

Authors

63

  1. TS
    Thomas Schiex

    Centre National de la Recherche Scientifique, France

    3 publications · 364 citations

    3

    h-index

  2. RD
    Romuald Debruyne

    Centre National de la Recherche Scientifique, France

    3 publications · 155 citations

    3

    h-index

  3. CB
    Christian Bessière

    Centre National de la Recherche Scientifique, France

    3 publications · 195 citations

    3

    h-index

  4. EC
    Eugene C. Freuder

    University of New Hampshire, United States

    3 publications · 109 citations

    3

    h-index

  5. GV
    Gérard Verfaillie

    Office National d'Études et de Recherches Aérospatiales, France

    2 publications · 186 citations

    2

    h-index

1–5 of 63

Institutions

38

  1. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    4 publications

    200 citations

  2. University of Béjaïa

    Béjaïa, Algeria

    2 h-index

    2 publications

    32 citations

  3. Fujitsu (Japan)

    Kawasaki, Japan

    2 h-index

    4 publications

    134 citations

  4. University of Strathclyde

    Glasgow, United Kingdom

    2 h-index

    2 publications

    564 citations

  5. Université de Lorraine

    Nancy, France

    2 h-index

    3 publications

    43 citations

  6. Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

    Montpellier, France

    2 h-index

    2 publications

    180 citations

  7. Universitat Politècnica de Catalunya

    Barcelona, Spain

    2 h-index

    2 publications

    74 citations

  8. Université d'Artois

    Arras, France

    1 h-index

    2 publications

    20 citations

1–8 of 38

Venues

  1. European Conference on Artificial Intelligence

    Conference · 4 publications · 106 citations

    4

    h-index

  2. Artificial Intelligence

    3 publications · 871 citations

    3

    h-index

  3. Constraints

    2 publications · 68 citations

    2

    h-index

  4. International Joint Conference on Artificial Intelligence

    Conference · 1 publications · 45 citations

    1

    h-index

  5. Computational Intelligence

    1 publications · 519 citations

    1

    h-index

1–5