Valid inequality based lower bounds for WCSP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4741 LNCS, Issue , 2007, Pages 394-408

  Khemmoudj, Mohand Ou Idir ^a   Bennaceur, Hachemi ^a  

^a Laboratoire d'Informatique de Paris Nord Villetaneuse   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SIMULATION; LINEAR PROGRAMMING;

COMPUTING TIME; OPTIMAL SOFT ARC CONSISTENCY (OSAC);

PROBLEM SOLVING;

EID: 38149115478     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74970-7_29     Document Type: Conference Paper

References (9)

1. Cabon, B., de Givry, S., Lobjois, L., Schiex, T., Warners, J.P.: Radio Link Frequency Assignment. Constraints 4(1), 79-89 (1999)
2. Cooper, M., de Givry, S., Schiex, T.: Optimal soft arc consistency. In: IJCAI, pp. 68-73 (2007)
3. de Givry, S., Heras, F., Larrosa, J., Rollon, T., Schiex, T.: The SoftCSP and Max-SAT benchmarks and algorithm web site (2006), http://carlit.toulouse. inra.fr/cgi-bin/awki.cgi/softcsp
4. de Givry, S., Zytnicki, M., Larrosa, J.: Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. In: IJCAI, pp. 84-89 (2005)
5. Khemmoudj, M.O.I., Bennaceur, H.: Clique Inference Process for Solving Max-CSP. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 746-750. Springer, Heidelberg (2006)
6. Khemmoudj, M.O.I., Bennaceur, H.: Clique Based Lower Bounds for Max-CSP. Technical report 2006-02, LIPN (2006)
7. Koster, A.: Frequency Assignment: Models and Algorithms. PhD Thesis. UM (Maastricht, The Netherlands) (1999)
8. Larrosa, J., Schiex, T.: In the quest of the best form of local consistency for Weighted CSP. In: IJCAI, pp. 239-244 (2003)
9. Schiex, T.: Arc Consistency for Soft Constraints. In: Dechter, R. (ed.) CP 2000. LNCS, vol. 1894, pp. 411-424. Springer, Heidelberg (2000)