Learning Adaptation to Solve Constraint Satisfaction Problems
暂无分享,去创建一个
[1] Ben J. A. Kröse,et al. Learning from delayed rewards , 1995, Robotics Auton. Syst..
[2] Michail G. Lagoudakis,et al. Learning to Select Branching Rules in the DPLL Procedure for Satisfiability , 2001, Electron. Notes Discret. Math..
[3] Richard S. Sutton,et al. Reinforcement Learning: An Introduction , 1998, IEEE Trans. Neural Networks.
[4] Robert H. Sloan,et al. Reinforcement Learning and Function Approximation , 2005, FLAIRS.
[5] Luca Pulina,et al. A Multi-engine Solver for Quantified Boolean Formulas , 2007, CP.
[6] Susan L. Epstein,et al. Learning to Solve Constraint Problems , 2007 .
[7] Horst Samulowitz,et al. Learning to Solve QBF , 2007, AAAI.
[8] Kevin Leyton-Brown,et al. SATzilla: Portfolio-based Algorithm Selection for SAT , 2008, J. Artif. Intell. Res..