Peter J. Stuckey, T. Feydy, A. Schutt, G. Tack, J. Fischer (2014). The MiniZinc Challenge 2008-2013. ... Parallel, OR-Tools, PicatSAT, iZplus/Choco 4.
確定! 回上一頁