Journal article

Symmetries, almost symmetries, and lazy clause generation

Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J Stuckey

Constraints | SPRINGER | Published : 2014

Grants

Awarded by Asian Office of Aerospace Research and Development


Funding Acknowledgements

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.