IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation

التفاصيل البيبلوغرافية
العنوان:	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