التفاصيل البيبلوغرافية
| العنوان: |
FERPModels: A Certification Framework for Expansion-Based QBF Solving |
| المؤلفون: |
Hadzic, Vedad, Bloem, Roderick, Shukla, Ankit, Seidl, Martina |
| المصدر: |
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :80-83 Sep, 2022 |
| Relation: |
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder