A filtering technique to achieve 2-consistency in constraint satisfaction problems

International Journal of Innovative Computing, Information and Control

Volumn 8, Issue 6, 2012, Pages 3891-3906

  Arangú, Marlene ^a   Salido, Miguel A ^a   Barber, Federico ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

2 consistency; Consistency techniques; Constraint satisfaction problems

Indexed keywords

2-CONSISTENCY; ARC-CONSISTENCY; ARC-CONSISTENCY ALGORITHMS; CONSISTENCY TECHNIQUES; CONSTRAINT SATISFACTION PROBLEMS; FILTERING TECHNIQUE; SEARCH SPACES;

COMPUTATIONAL METHODS; COMPUTER APPLICATIONS;

ALGORITHMS;

EID: 84861375144     PISSN: 13494198     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (31)

1. Arangu, M. Salido and F. Barber, 2-c3: From arc-consistency to 2-consistency, SARA, 2009.
2. M. Arangu, M. Salido and F. Barber, 2-c3op: An improved version of 2-consistency, ICTAI, pp.344-348, 2009.
3. M. Arangu, M. Salido and F. Barber, Normalizando csp no-normalizados: Unénfoque híbrido, CAEPIA Proc. of Workshop on Planning, Scheduling and Constraint Satisfaction, 2009.
4. M. Arangu, M. Salido and F. Barber, A filtering technique for the railway scheduling problem, COPLAS: ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, pp.68-78, 2010.
5. M. Arangu, M. Salido and F. Barber, Filtering techniques for non-normalized constraint satisfaction problems, Technical Report, DSIC-II/11/10.UPV, 2010.
6. R. Bartak, Theory and practice of constraint propagation, Proc. of the 3rd Workshop on Constraint Programming in Decision and Control, 2001.
7. R. Bartak, Constraint propagation and backtracking-based search, First International Summer School on CP, 2005.
8. C. Bessiere and M. Cordier, Arc-consistency and arc-consistency again, Proc. of the AAAI, Washington, USA, pp.108-113, 1993.
9. C. Bessiere, C. Freuder and J. C. Régin, Using constraint meta knowledge to reduce arc consistency computation, Artificial Intelligence, vol.107, pp.125-148, 1999.
10. C. Bessiere, J. C. Regin, R. Yap and Y. Zhang, An optimal coarse-grained arcconsistency algorithm, Artificial Intelligence, vol.165, pp.165-185, 2005.
11. C. Bessiere and J.-C. Regin, An arc-consistency algorithm optimal in the number of constraint checks, ICTAI, pp.397-403, 1994.
12. J. R. Bitner andé. M. Reingold, Backtrack programming techniques, Commun. ACM, vol.18, no.11, pp.651-656, 1975.
13. A. Chmeiss and P. Jegou, Efficient path-consistency propagation, International Journal on Artificial Intelligence Tools, vol.7, pp.121-142, 1998.
14. R. Dechter, Constraint Processing, Morgan Kaufmann, 2003.
15. R. Fikes, Ref-arf: A system for solving problems stated as procedures, Artificial Intelligence, vol.1, 1970.
16. E. Freuder, Synthesizing constraint expressions, Communications of the ACM, vol.21, pp.958-966, 1978.
17. R. Haralick and G. Elliot, Increasing tree efficiency for constraint satisfaction problems, Artificial Intelligence, vol.14, pp.263-314, 1980.
18. P. Van Hentenryck, Y. Deville and C. M. Teng, A generic arc-consistency algorithm and its specializations, Artificial Intelligence, vol.57, pp.291-321, 1992.
19. G. Kim, S. S. Kim, I.-H. Kim, D. H. Kim, V. Mani and J.-K. Moon, An Efficient simulated annealing with a valid solution mechanism for tdma brodcast scheduling problem, International Journal of Innovative Computing, Information and Control, vol.7, no.3, pp.1181-1191, 2011.
20. C. Lecoutre, F. Boussemart and F. Hemery, Exploiting multi directionality in coarse-grained arc consistency algorithms, Proc. CP 2003, pp.480-494, 2003.
21. C. Lecoutre and F. Hemery, A study of residual supports in arc consistency, Proc. IJCAI 2007, pp.125-130, 2007.
22. F.-T. Lin and T.-R. Tsai, A two-stage genetic algorithm for solving the transportation problem with fuzzy demands and fuzzy supplies, International Journal of Innovative Computing Information and Control, vol.5, no.12(B), pp.4775-4785, 2009.
23. S.-F. Lin and Y.-C. Cheng, Two-strategy reinforcement evolutionary algorithm using datamining based crossover strategy with tsk-type fuzzy controllers, International Journal of Innovative Computing, Information and Control, vol.6, no.9, pp.3863-4198, 2010.
24. C. Liu, Newévolutionary algorithm for multi objetive constrained optimization, ICIC Express Letters, vol.2, no.4, pp.339-344, 2008.
25. A. K. Mackworth, Consistency in networks of relations, Artificial Intelligence, vol.8, pp.99-118, 1977.
26. R. Mohr and T. C. Henderson, Arc and path consistency revised, Artificial Intelligence, vol.28, pp.225-233, 1986.
27. M. Perlin, Arc consistency for factorable relations, Artificial Intelligence, vol.53, pp.329-342, 1992.
28. F. Rossi, P. Van Beek and T. Walsh, Handbook of Constraint Programming, Elsevier Science & Technology, 2008.
29. Z. Ruttkay, Constraint satisfaction - A survey, CWI Quarterly, vol.11, no.2-3, pp.123-162, 1998.
30. M. R. C. Van Dongen, A. B. Dieker and A. Sapozhnikov, The expected value and the variance of the checks required by revision algorithms, CP Letters, vol.2, pp.55-77, 2008.
31. Y. Zhang and R. H. C. Yap, Making AC3 an optimal algorithm, IJCAI-2001, 2001.