|
by Zhou, Neng-Fa, Kjellerstrand, Håkan, Fruhman, Jonathan
Published 2015
“... combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules...”Published 2015
Springer International Publishing