Funder
Australian Research Council
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference48 articles.
1. Balint A, Fröhlich A (2010) Improving stochastic local search for sat with a new probability distribution. In: International conference on theory and applications of satisfiability testing. Springer, pp 10–15
2. Balyo T, Fröhlich A, Heule MJ, Biere A (2014) Everything you always wanted to know about blocked sets (but were afraid to ask). In: International conference on theory and applications of satisfiability testing. Springer, pp 317–332
3. Balyo T, Froleyks N, Heule MJ, Iser M, Järvisalo M, Suda M (eds) (2020) Proceedings of SAT competition 2020: solver and benchmark descriptions. University of Helsinki, Department of Computer Science, Helsinki
4. Battiti R, Tecchiolli G (1994) The reactive tabu search. ORSA J Comput 6(2):126–140
5. Belov A, Stachniak Z (2009) Improving variable selection process in stochastic local search for propositional satisfiability. SAT 9:258–264
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献