Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.

Feifei Ma, Jian Zhang

Browse the full PRICAI paper archive.