مؤتمر
Distributed Parallel #SAT Solving
العنوان: | Distributed Parallel #SAT Solving |
---|---|
المؤلفون: | Burchard, Jan, Schubert, Tobias, Becker, Bernd |
المصدر: | 2016 IEEE International Conference on Cluster Computing (CLUSTER) Cluster Computing (CLUSTER), 2016 IEEE International Conference on. :326-335 Sep, 2016 |
Relation: | 2016 IEEE International Conference on Cluster Computing (CLUSTER) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781509036530 |
---|---|
تدمد: | 21689253 |
DOI: | 10.1109/CLUSTER.2016.20 |