The logic behind weighted CSP

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 32-37

  Ansótegui, Carlos ^a   Bonet, Mariá Luisa ^b   Levy, Jordi ^c   Manyà, Felip ^c  

^a UNIVERSITY OF LLEIDA   (Spain)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^c ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARC CONSISTENCY; EXACT ALGORITHMS; MAX-SAT; RESOLUTION-STYLE CALCULUS;

ARTIFICIAL INTELLIGENCE;

EID: 34249711167     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. C. Ansótegui, and F. Manyà. New logical and complexity results for Signed-SAT. In Proc. of ISMVL'03, pages 181-187, 2003.
2. M. L. Bonet, J. Levy, and F. Manyà. A complete calculus for Max-SAT. In Proc. of SAT' 06, pages 240-251. Springer LNCS 3569, 2006.
3. S. de Givry, F. Heras, J. Larrosa, and M. Zytnicki. Existencial arc consistency: Getting closer to full arc consistency in weighted CSPs. In Proc. of IJCAI'05, pages 84-89, 2005.
4. R. Dechter. Bucket elimination: A unifying framework for reasoning. Artificial Intelligence, 113(1-2):41-85, 1999. (Pubitemid 30542742)
5. E. Freuder and R.Wallace. Partial constraint satisfaction. Artificial Intelligence, 58:21-71, 1992.
6. J. Larrosa and F. Heras. Resolution in Max-SAT and its relation to local consistency in weighted CSPs. In Proc. of IJCAI' 05, pages 193-198, 2005.
7. J. Larrosa and P. Meseguer. Exploiting the use of DAC in Max-CSP. In Proc. of CP'96, pages 308-322, 1996.
8. J. Larrosa and T. Schiex. In the quest of the best form of local consistency for weighted CSP. In Proc. of IJCAI'03, pages 239-244, 2003.
9. J. Larrosa and T. Schiex. Solving weighted CSP by maintaining arc-consistency. Artificial Intelligence, 159(1-2):1-26, 2004.
10. G. Verfaillie, M. Lemaitre, and T. Schiex. Russian doll search. In Proc. of AAAI'96, pages 181-187, 1996.