Author:
Nejati Saeed,Le Frioux Ludovic,Ganesh Vijay
Publisher
Springer International Publishing
Reference41 articles.
1. Audemard, G., Hoessen, B., Jabbour, S., Piette, C.: An effective distributed D&C approach for the satisfiability problem. In: Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), pp. 183–187. IEEE (2014)
2. Lecture Notes in Computer Science;G Audemard,2016
3. Lecture Notes in Computer Science;G Audemard,2012
4. Audemard, G., Simon, L.: Glucose and syrup: nine years in the SAT competitions. In: Proceedings of SAT Competition, pp. 24–25 (2018)
5. Balyo, T., Sinz, C.: Parallel satisfiability. In: Hamadi, Y., Sais, L. (eds.) Handbook of Parallel Constraint Reasoning, pp. 3–29. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-63516-3_1
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Role of Machine Learning for Solving Satisfiability Problems and its Applications in Cryptanalysis;2023 3rd International Conference on Advance Computing and Innovative Technologies in Engineering (ICACITE);2023-05-12
2. Algorithm selection for SMT;International Journal on Software Tools for Technology Transfer;2023-02-15
3. Machine learning and logic: a new frontier in artificial intelligence;Formal Methods in System Design;2022-06
4. SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2021
5. MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers;Tools and Algorithms for the Construction and Analysis of Systems;2021