@Article(Mackworth77, Author="Mackworth, A.K. ", Title="{Consistency in Networks of Relations}", Journal="Artificial Intelligence", Volume="8", Number="1", Pages="99--118", Year="1977") @Article(Mohr86, Author="Mohr, R. and Henderson, T.C.", Title="{Arc and Path Consistency Revisited}", Journal="Artificial Intelligence", Volume="28", Pages="225--233", Year="1986") @InCollection(Mohr88a, Author="Mohr, R. and Masini, G.", Title="{Running Efficiently Arc Consistency}", BookTitle="{Syntactic and Structural Pattern Recognition}", Publisher="Springer-Verlag", Pages="217--231", Year="1988") @Article(Vanhentenryck92a, Author="Van Hentenryck, P. and Deville, Y. and Teng, C.M.", Title="{A Generic Arc Consistency Algorithm and Its Specializations}", Journal="Artificial Intelligence", Volume="57", Number="2-3", Page="291--321", Year="1992") @book(Vanhentenryck89, Author = "Van Hentenryck, P.", Title = "{Constraint Satisfaction in Logic Programming}", Year = "1989", Publisher= "Logic Programming Series, The MIT Press", Address = "Cambridge, MA") @InProceedings(Mohr88b, Author="Mohr, R.", Title="{Good Old Discrete Relaxation}", Booktitle="European Conference on Artificial Intelligence (ECAI-88)", Address="Munich, W. Germany", Month="August", Year="1988") @inproceedings(Bessiere93, author = "Bessiere, C. and Cordier, M.-O.", title = "Arc-Consistency and Arc-Consitency Again", BookTitle="{Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93)}", Address="Washington, DC", Pages="108--113", Year="1993") @article{Bessiere94, author = {Bessi{\`e}re, C.}, title = {Arc-Consistency and Arc-Consistency Again.}, journal = {Artificial Intelligence}, volume = {65}, number = {1}, year = {1994}, pages = {179--190}, }