Arc and path consistency revisited
Tóm tắt
Từ khóa
Tài liệu tham khảo
Gaschnig, 1979, Performance measurement and analysis of certain search algorithms
Haralick, 1978, Reduction operations for constraint satisfaction, Inform. Sci., 14, 199, 10.1016/0020-0255(78)90043-9
Lauriere, 1978, A language and a program for stating and solving combinatorial problems, Artificial Intelligence, 10, 29, 10.1016/0004-3702(78)90029-2
Mackworth, 1977, Consistency in networks of relations, Artificial Intelligence, 8, 99, 10.1016/0004-3702(77)90007-8
Mackworth, 1985, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence, 25, 65, 10.1016/0004-3702(85)90041-4
Mohr, 1986, Running efficiently are consistency
Montanari, 1974, Networks of constraints: Fundamental properties and applications to picture processing, Inform. Sci., 7, 95, 10.1016/0020-0255(74)90008-5