مؤتمر
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 |
Full Text Finder | ردمك: | 9781509036530 |
|---|---|
| تدمد: | 21689253 |
| DOI: | 10.1109/CLUSTER.2016.20 |