Author:
Chrabakh Wahid,Wolski Rich
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Distributed SAT-Based Framework for Closed Frequent Itemset Mining;Advanced Data Mining and Applications;2022
2. Solving Sat in a Distributed Cloud: A Portfolio Approach;International Journal of Applied Mathematics and Computer Science;2019-06-01
3. A comprehensive study and analysis on SAT-solvers: advances, usages and achievements;Artificial Intelligence Review;2018-03-28
4. Parallel Satisfiability;Handbook of Parallel Constraint Reasoning;2018
5. A survey of SAT solver;AIP Conference Proceedings;2017