{"type":"ScholarlyArticle","title":"Using Inference to Reduce Arc Consistency Computation","authors":[{"name":"Christian Bessière","slug":"christian-bessiere","given":"Christian","family":"Bessiere","affiliation":""},{"name":"Eugene C. Freuder","slug":"eugene-c-freuder","given":"Eugene C.","family":"Freuder","affiliation":""},{"name":"Jean-Charles Régin","slug":"jean-charles-regin","given":"Jean-Charles","family":"Régin","affiliation":""}],"abstract":"Constraint satisfaction problems are widely used in artificial intelligence. They involve finding values for problem variables subject to constraints that specify which combinations of values are consistent. Knowledge about properties of the constraints can permit inferences that reduce the cost of consistency checking. In particular, such inferences can be used to reduce the number of constraint checks required in establishing arc consistency, a fundamental constraint-based reasoning technique. A general AC-Inference schema is presented and various forms of inference discussed. A specific algorithm, AC-7, is presented, which takes advantage of a simple property common to all binary constraints to eliminate constraint checks that other arc consistency algorithms perform. The effectiveness of this approach is demonstrated analytically, and experimentally on real-world problems.","doi":null,"url":"https://ijcai.org/proceedings/1995/78","pdf":"https://ijcai.org/proceedings/1995/0078.pdf","markdown":"https://ijcai.org/proceedings/1995/78.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/78","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Constraint Satisfaction","track":"Constraint Satisfaction","number":78,"pages":{"first":592,"last":598},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}