An Investigation of Variable Relationships in 3-SAT Problems
暂无分享,去创建一个
Abdul Sattar | Olena Kravchuk | Wayne J. Pullan | John Thornton | A. Sattar | J. Thornton | W. Pullan | O. Kravchuk
[1] Naftali Tishby,et al. The Statistical Mechanics of k-Satisfaction , 1993, NIPS.
[2] Yannis C. Stamatiou,et al. Random Constraint Satisfaction a More Accurate Picture , 2022 .
[3] Jun Gu,et al. Global Optimization for Satisfiability (SAT) Problem , 1994, IEEE Trans. Knowl. Data Eng..
[4] Toby Walsh,et al. Random Constraint Satisfaction: Flaws and Structure , 2004, Constraints.
[5] James M. Crawford,et al. Experimental Results on the Crossover Point inSatis ability , 1993 .
[6] Andrew J. Parkes,et al. Clustering at the Phase Transition , 1997, AAAI/IAAI.
[7] Bart Selman,et al. Balance and Filtering in Structured Satisfiable Problems , 2001, IJCAI.
[8] Toby Walsh,et al. Search in a Small World , 1999, IJCAI.
[9] Bart Selman,et al. Problem Structure in the Presence of Perturbations , 1997, AAAI/IAAI.
[10] Berthe Y. Choueiry,et al. How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search , 2001, Australian Joint Conference on Artificial Intelligence.
[11] Wayne J. Pullan,et al. Towards Fewer Parameters for SAT Clause Weighting Algorithms , 2002, Australian Joint Conference on Artificial Intelligence.
[12] Igor L. Markov,et al. Solving difficult SAT instances in the presence of symmetry , 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
[13] Michael Molloy,et al. Models for Random Constraint Satisfaction Problems , 2003, SIAM J. Comput..
[14] Tad Hogg,et al. Which Search Problems Are Random? , 1998, AAAI/IAAI.
[15] Toby Walsh,et al. Search on High Degree Graphs , 2001, IJCAI.
[16] J. Schmee. Applied Statistics—A Handbook of Techniques , 1984 .
[17] David G. Mitchell,et al. Finding hard instances of the satisfiability problem: A survey , 1996, Satisfiability Problem: Theory and Applications.