Inference Rules for High-Order Consistency in Weighted CSP
暂无分享,去创建一个
[1] Reiner Hähnle,et al. The SAT problem of signed CNF formulas , 2000 .
[2] Javier Larrosa,et al. New Inference Rules for Efficient Max-SAT Solving , 2006, AAAI.
[3] Simon de Givry,et al. Existential arc consistency: Getting closer to full arc consistency in weighted CSPs , 2005, IJCAI.
[4] Reiner Hähnle. Exploiting Data Dependencies in Many-Valued Logics , 1996, J. Appl. Non Class. Logics.
[5] Maria Luisa Bonet,et al. The Logic Behind Weighted CSP , 2007, IJCAI.
[6] Reiner Hähnle. Efficient Deduction in Many-Valued Logics , 1994, ISMVL.
[7] Javier Larrosa,et al. Resolution in Max-SAT and its relation to local consistency in weighted CSPs , 2005, IJCAI.
[8] Thomas Schiex,et al. Solving weighted CSP by maintaining arc consistency , 2004, Artif. Intell..
[9] Maria Luisa Bonet,et al. A Complete Calculus for Max-SAT , 2006, SAT.
[10] Rina Dechter,et al. Bucket Elimination: A Unifying Framework for Reasoning , 1999, Artif. Intell..
[11] Martin C. Cooper. High-Order Consistency in Valued Constraint Satisfaction , 2005, Constraints.