A Comparison of CP, IP, and SAT Solvers through a Common Interface.

Neng-Fa Zhou, Masato Tsuru, Eitaku Nobuyama

Browse the full ICTAI paper archive.