Combinatorial Designs by SAT Solvers
収録刊行物
-
- Handbook of Satisfiability
-
Handbook of Satisfiability 533-568, 2009
IOS Press
Handbook of Satisfiability 533-568, 2009
IOS Press