Funder
Deanship of Scientific Research, King Saud University
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference148 articles.
1. Abio I, Deters M, Nieuwenhuis R, Stuckey PJ (2011) Reducing chaos in SAT-like search: finding solutions close to a given one. In: Sakallah KA, Simon L (eds) theory and applications of satisfiability testing - SAT 2011. Lecture Notes in Computer Science. Springer, Berlin Heidelberg, pp 273–286
2. Abrame A, Habet D (2012) Inference rules in local search for max-SAT. In: 2012 IEEE 24th international conference on tools with artificial intelligence, vol 1, pp 207–214
3. Achlioptas D, Gomes C, Kautz H, Selman B (2000) Generating satisfiable problem instances. In: Proceedings of the seventeenth national conference on artificial intelligence (AAAI-00)
4. Alouneh S, Abed S, Al Shayeji MH, Mesleh R (2018) A comprehensive study and analysis on SAT-solvers: advances, usages and achievements. Artif Intell Rev 52:2575–2601
5. Ansotegui C, Bonet ML, Levy J (2013) SAT-based MaxSAT algorithms. Artif Intell 196:77–105
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献