A Random Jump Strategy for Combinatorial Search
暂无分享,去创建一个
[1] Bart Selman,et al. Boosting Combinatorial Search Through Randomization , 1998, AAAI/IAAI.
[2] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[3] Andrei Voronkov,et al. Limited resource strategy in resolution theorem proving , 2003, J. Symb. Comput..
[4] Joao Marques-Silva,et al. Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability , 2000, CP.
[5] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[6] Hector J. Levesque,et al. Hard and Easy Distributions of SAT Problems , 1992, AAAI.
[7] Matthew L. Ginsberg,et al. Limited Discrepancy Search , 1995, IJCAI.
[8] Joao Marques-Silva,et al. Complete Search Restart Strategies for Satisfiability , 2001 .
[9] Roberto J. Bayardo,et al. Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances , 1996, CP.
[10] Bart Selman,et al. Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems , 1998, AIPS.
[11] Robert Veroff,et al. Automated Reasoning and Its Applications: Essays in Honor of Larry Wos , 1997 .
[12] Barbara M. Smith,et al. Sparse Constraint Graphs and Exceptionally Hard Problems , 1995, IJCAI.
[13] Masayuki Fujita,et al. Automatic Generation of Some Results in Finite Algebra , 1993, IJCAI.
[14] Richard E. Korf,et al. Improved Limited Discrepancy Search , 1996, AAAI/IAAI, Vol. 1.
[15] Toby Walsh. Depth-bounded Discrepancy Search , 1997, IJCAI.
[16] J. P. Marques,et al. GRASP : A Search Algorithm for Propositional Satisfiability , 1999 .
[17] Bart Selman,et al. Heavy-Tailed Distributions in Combinatorial Search , 1997, CP.
[18] Inês Lynce,et al. Stochastic Systematic Search Algorithms for Satisfiability , 2001, Electron. Notes Discret. Math..
[19] Hantao Zhang,et al. SATO: An Efficient Propositional Prover , 1997, CADE.
[20] W. D. Harvey,et al. Nonsystematic backtracking search , 1995 .
[21] Maria Paola Bonacina,et al. PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems , 1996, J. Symb. Comput..