Dealing with Satisfiability and n-ary CSPs in a Logical Framework
暂无分享,去创建一个
[1] Zvi Galil,et al. On the validity and complexity of bounded resolution , 1975, STOC.
[2] Simon Kasif,et al. On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction Networks , 1990, Artif. Intell..
[3] Roland H. C. Yap,et al. Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints , 2008, CP.
[4] Christian Bessiere,et al. Refining the Basic Constraint Propagation Algorithm , 2001, JFPLC.
[5] Eugene C. Freuder,et al. Understanding and Improving the MAC Algorithm , 1997, CP.
[6] Christian Bessiere,et al. Optimal and Suboptimal Singleton Arc Consistency Algorithms , 2005, IJCAI.
[7] Toby Walsh,et al. CSPLIB: A Benchmark Library for Constraints , 1999, CP.
[8] Christophe Lecoutre,et al. Generalized Arc Consistency for Positive Table Constraints , 2006, CP.
[9] Toby Walsh,et al. SAT v CSP , 2000, CP.
[10] Christian Bessiere,et al. Proceedings of the 13th international conference on Principles and practice of constraint programming , 2007 .
[11] Toby Walsh,et al. Random Constraint Satisfaction: Flaws and Structure , 2004, Constraints.
[12] Hachemi Bennaceur. The Satisfiability Problem Regarded as a Constraint Satisfaction Problem , 1996, ECAI.
[13] Christian Bessiere,et al. Some Practicable Filtering Techniques for the Constraint Satisfaction Problem , 1997, IJCAI.
[14] Joao Marques-Silva,et al. GRASP-A new search algorithm for satisfiability , 1996, Proceedings of International Conference on Computer Aided Design.
[15] Ugo Montanari,et al. Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..
[16] Toby Walsh,et al. Local Consistencies in SAT , 2003, SAT.
[17] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[18] Robert M. Haralick,et al. Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..
[19] Johan de Kleer,et al. A Comparison of ATMS and CSP Techniques , 1989, IJCAI.
[20] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[21] Lakhdar Sais,et al. A Generalized Framework for Conflict Analysis , 2008, SAT.
[22] Christian Bessiere,et al. Arc Consistency for General Constraint Networks: Preliminary Results , 1997, IJCAI.
[23] Ian P. Gent,et al. Data Structures for Generalised Arc Consistency for Extensional Constraints , 2007, AAAI.
[24] Eugene Goldberg,et al. BerkMin: A Fast and Robust Sat-Solver , 2002 .
[25] Ian P. Gent. Arc Consistency in SAT , 2002, ECAI.
[26] Toby Walsh,et al. Singleton Consistencies , 2000, CP.
[27] Lakhdar Sais,et al. Two Proof Procedures for a Cardinality Based Language in Propositional Calculus , 1994, STACS.
[28] Wei Li,et al. Exact Phase Transitions in Random Constraint Satisfaction Problems , 2000, J. Artif. Intell. Res..
[29] Toby Walsh,et al. A Compression Algorithm for Large Arity Extensional Constraints , 2007, CP.
[30] Frédéric Benhamou,et al. Proceedings of the 12th international conference on Principles and Practice of Constraint Programming , 2006 .
[31] Niklas Sörensson,et al. An Extensible SAT-solver , 2003, SAT.
[32] Chu Min Li,et al. Heuristics Based on Unit Propagation for Satisfiability Problems , 1997, IJCAI.
[33] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.