Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP

Journal of Heuristics

Volumn 12, Issue 4-5, 2006, Pages 287-306

  Heras, Federico ^a   Larrosa, Javier ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Local consistency; Weighted csps

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTATION THEORY; HEURISTIC METHODS; OPTIMIZATION; PROBLEM SOLVING; SEARCH ENGINES;

LOCAL CONSISTENCY; UNARY WEIGHTS; WEIGHTED CSPS;

CONSTRAINT THEORY;

EID: 33646544338     PISSN: 13811231     EISSN: 15729397     Source Type: Journal    
DOI: 10.1007/s10732-006-8248-z     Document Type: Conference Paper

References (13)

1. Bessière, C. and J.-C. Regin. (1996),"MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems." Lecture Notes in Computer Science 1118, 61-75.
2. Bistarelli, S., U. Montanari, and F. Rossi, (1997)."Semiring-Based Constraint Satisfaction and Optimization." Journal of the ACM 44(2), 201-236, March.
3. Gabon, B.. S. de Givry, L. Lobjois, T. Schiex, and J.P. Warners. (1999)."Radio Link Frequency Assignment." Constraints 4, 79-89.
4. Cooper, M. (2003)."Reductions Operations in Fuzzy or Valued Constraint Satisfaction." Fuzzy Sets and Systems 134(3), 311-342.
5. de Givry, S.. F. Heras, J. Larrosa, and M. Zytnicki. (2005). "Existential are Consistency: Getting Closer to Full arc Consistency in Weighted Csps." In Proc. of the 19th IJCAI, Edinburgh, U.K., August.
6. de Givry, S., J. Larrosa, P. Meseguer, and T. Schiex. (2003)."Solving Max-Sat as Weighted Csp." In Proc. of the 9th CP, Kinsale, Ireland, LNCS 2833. Springer Verlag, pp. 363-376.
7. Dechter, R. (2003). Constraint Processing. Morgan Kaufmann, San Francisco.
8. Larrosa, J., P. Meseguer, and T. Schiex. (1999)."Maintaining Reversible DAC for Max-CSP." Artificial Intelligence 107(1), 149-163.
9. Larrosa, J., and T. Schiex. (2003)."In the Quest of the Best form of Local Consistency for Weighted csp." In Proc. of the 18th IJCAI Acapulco, Mexico, August.
10. Larrosa, J. (2002)."Node and arc Consistency in Weighted csp." In Proceedings of the 18th AAAI, pp. 48-53.
11. Pearl, J. (1988). Probabilistic Inference in Intelligent Systems. Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA.
12. Sandholm, T. (1999)."An Algorithm for Optimal Winner Determination in Combinatorial Auctions." In IJCAI-99, pp. 542-547.
13. Schiex, T., H. Fargier, and G. Verfaillie. (1995)."Valued Constraint Satisfaction Problems: Hard and Easy Problems." In IJCAI-95, Montréal, Canada, August, pp. 631-637.