Author:
Liu Jiawei,Xiao Wenyi,Cheng Hongtao,Shi Chuan
Funder
the National Natural Science Foundation of China
Publisher
Springer Science and Business Media LLC
Reference41 articles.
1. Xu L, Hutter F, Hoos HH, Leyton-Brown K (2008) Satzilla: portfolio-based algorithm selection for sat. J Artif Intell Res 32:565–606
2. Hutter F, Xu L, Hoos HH, Leyton-Brown K (2014) Algorithm runtime prediction: methods & evaluation. Artif Intell 206:79–111
3. Mitchell D, Selman B, Levesque H (1992) Hard and easy distributions of sat problems. AAAI 92:459–465
4. Nudelman E, Leyton-Brown K, Hoos HH, Devkar A, Shoham Y (2004) Understanding random sat: beyond the clauses-to-variables ratio. In: Principles and Practice of Constraint Programming–CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27–October 1, 2004. Proceedings 10, pp 438–452. Springer
5. Alfonso EM, Manthey N (2014) New CNF features and formula classification. In: POS@ SAT, pp 57–71