Symmetries, almost symmetries, and lazy clause generation
Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J Stuckey
Constraints | SPRINGER | Published : 2014
Awarded by Asian Office of Aerospace Research and Development
NICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program. This work was partially supported by Asian Office of Aerospace Research and Development 12-4056.