Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J Stuckey
Constraints | SPRINGER | Published : 2013
Awarded by Asian Office of Aerospace Research and Development
NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council. This work was partially supported by Asian Office of Aerospace Research and Development grant 10-4123.