"Where Are We Now? State of the Art and Future Trends of Solvers for Hard ..."

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics