Using Arc Weights to Improve Iterative Repair
暂无分享,去创建一个
[1] Bart Selman,et al. Domain-Independent Extensions to GSAT : Solving Large StructuredSatis ability , 1993 .
[2] Jeremy Frank,et al. Weighting for Godot: Learning Heuristics for GSAT , 1996, AAAI/IAAI, Vol. 1.
[3] Jeremy Frank. Learning Short-Term Weights for GSAT , 1997, IJCAI.
[4] Hector J. Levesque,et al. A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.
[5] Michel Cayrol,et al. Hidden Gold in Random Generation of SAT Satisfiable Instances , 1997, IJCAI.
[6] Robert M. Haralick,et al. Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..
[7] Byungki Cha,et al. Adding New Clauses for Faster Local Search , 1996, AAAI/IAAI, Vol. 1.
[8] Byungki Cha,et al. Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas , 1995, IJCAI.
[9] Vipin Kumar,et al. Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..
[10] Paul Morris,et al. The Breakout Method for Escaping from Local Minima , 1993, AAAI.
[11] Abdul Sattar,et al. Applied Partial Constraint Satisfaction Using Weighted Iterative Repair , 1997, Australian Joint Conference on Artificial Intelligence.