Contradicting Conventional Wisdom in Constraint Satisfaction

DMCA

Contradicting Conventional Wisdom in Constraint Satisfaction (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Daniel Sabin , Eugene C. Freuder

Citations:

228 - 12 self

BibTeX

@INPROCEEDINGS{Sabin94contradictingconventional,
    author = {Daniel Sabin and Eugene C. Freuder},
    title = {Contradicting Conventional Wisdom in Constraint Satisfaction},
    booktitle = {},
    year = {1994},
    pages = {125--129}
}

OpenURL

Abstract

. Constraint satisfaction problems have wide application in artificial intelligence. They involve finding values for problem variables where the values must be consistent in that they satisfy restrictions on which combinations of values are allowed. Two standard techniques used in solving such problems are backtrack search and consistency inference. Conventional wisdom in the constraint satisfaction community suggests: 1) using consistency inference as preprocessing before search to prune values from consideration reduces subsequent search effort and 2) using consistency inference during search to prune values from consideration is best done at the limited level embodied in the forward checking algorithm. We present evidence contradicting both pieces of conventional wisdom, and suggesting renewed consideration of an approach which fully maintains arc consistency during backtrack search. 1 Introduction Constraint satisfaction problems (CSPs) involve finding values for prob...

Keyphrases

conventional wisdom constraint satisfaction consistency inference backtrack search present evidence limited level arc consistency constraint satisfaction problem consideration reduces subsequent search effort wide application constraint satisfaction community introduction constraint satisfaction problem problem variable artificial intelligence standard technique

DMCA