التفاصيل البيبلوغرافية
العنوان: |
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation |
المؤلفون: |
Hiess, Irene, Kampel, Ludwig, Wagner, Michael, Simos, Dimitris E. |
المصدر: |
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. :71-79 Sep, 2022 |
Relation: |
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) |
قاعدة البيانات: |
IEEE Xplore Digital Library |