Inference rules for high-order consistency in weighted CSP

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 167-172

  Ansótegui, Carlos ^a   Bonet, Maria L ^b   Levy, Jordi ^c   Manyà, Felip ^a  

^a Campus Universitari Igualada UdL   (Spain)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^c ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC;

CONSISTENCY RESOLUTION; GENERALIZATION; LOGICAL CHARACTERIZATION; RESTRICTION;

COMPUTATIONAL METHODS;

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

References (11)

1. Ansótegui, C.; Bonet, M.; Levy, J.; and Manyà, F. 2007. The logic behind weighted CSP. In IJCAI-2007, 32-37.
2. Beckert, B.; Hähnle, R.; and Manyà, F. 2000. The SAT problem of signed CNF formulas. In Labelled Deduction, volume 17 of Applied Logic Series. Kluwer. 61-82.
3. Bonet, M.; Levy, J.; and Manyà, F. 2006. A complete calculus for Max-SAT. In SAT-2006.
4. Cooper, M. C. 2005. High-order consistency in valued constraint satisfaction. Constraints 10:283-305.
5. de Givry, S.; Heras, F.; Larrosa, J.; and Zytnicki, M. 2005. Existencial arc consistency: Getting closer to full arc consistency in weighted CSPs. In IJCAI-2005, 84-89.
6. Dechter, R. 1999. Bucket elimination: A unifying framework for reasoning. Artificial Intelligence 113(1-2):41-85.
7. Hähnle, R. 1994. Efficient deduction in many-valued logics. In ISMVL'94, 240-249.
8. Hähnle, R. 1996. Exploiting data dependencies in manyvalued logics. J. of Applied Non-Classical Logics 6:49-69.
9. Heras, F., and Larrosa, J. 2006. New inference rules for efficient Max-SAT solving. In AAAI-2006, 68-73.
10. Larrosa, J., and Heras, F. 2005. Resolution in Max-SAT and its relation to local consistency in weighted CSPs. In IJCAI-2005, 193-198.
11. Larrosa, J., and Schiex, T. 2004. Solving weighted CSP by maintaining arc-consistency. Artificial Intelligence 159(1-2):1-26.