Journal papers
What do Constraint Programming Users Want to See? Exploring the role of Visualisation in Profiling of Models and Search. IEEE Transactions on Visualization and Computer Graphics. 2016. [official link]
Visual search tree profiling. Constraints 21(1), pp. 77-94. 2016. [official link]
A radiobiology-based inverse treatment planning method for optimisation of permanent l-125 prostate implants in focal brachytherapy. Physics in Medicine and Biology, 61(1). 2015. [official link]
A method for detecting symmetries in constraint models and its generalisation. Constraints 20(2), pp. 235-273. 2015. [official link][PDF][experimental material]
Symmetries, almost symmetries, and lazy clause generation. Constraints 19(4), pp. 434-462. 2014. [official link]
Lightweight dynamic symmetry breaking. Constraints 19(3), pp. 195-242. 2014. [official link][PDF]
Edge Compression Techniques for Visualization of Dense Directed Graphs. IEEE Transactions on Visualization and Computer Graphics (volume 19, issue 12). 2013. [official link]
On implementing symmetry detection. Constraints, 14(4), pp. 443-477. 2009. [official link][PDF]
Thesis
Automatic Symmetry Detection and Dynamic Symmetry Breaking for Constraint Programming. Monash University. 2009. [official link][PDF]
Conference papers
Learning from Learning Solvers. CP 2016, LNCS 9892 pp. 455-472. 2016. [official link]
Towards automatic dominance breaking for constraint optimization problems. IJCAI 2015. 2015. [official link]
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. 2014 IEEE Pacific Visualization Symposium (PacificVis), pp. 105-112. 2014. [official link]
Modelling with Option Types in MiniZinc. CPAIOR 2014, LNCS 8451, pp. 88-103. 2014. [official link][PDF]
Globalizing Constraint Models. CP 2013, LNCS 8124 pp. 432-447. 2013. [official link][PDF]
Symmetry propagation: Improved dynamic symmetry breaking in SAT. ICTAI’12. 2012. [PDF]
Rail disruption: passenger focused recovery. Computers in Railways XIII. 2012. [official link]
Proving Symmetries by Model Transformation. CP 2011. 2011. [official link][PDF]
Symmetries and Lazy Clause Generation. IJCAI 11. 2011. [official link]
A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR 2008, pp. 158-172. 2008. [official link][PDF]
A Simple Statistical Algorithm for Biological Sequence Compression. Data Compression Conference, 2007. DCC ‘07, pp. 43-52. 2007. [official link]
Workshop papers
Towards Automatic Dominance Breaking. 13th International Workshop on Constraint Modelling and Reformulation, ModRef 2014. 2014.
Proving symmetries by model transformation. 9th International Workshop on Constraint Modelling and Reformulation, ModRef 2010, pp. 1-15. 2010.
Symmetries and Lazy Clause Generation. SymCon’10: The Tenth International Workshop on Symmetry in Constraint Satisfaction Problems. 2010.
Symmetry breaking and branching constraints. Eighth International Workshop on Symmetry in Constraint Satisfaction Problems, SymCon’08. 2008.
Lightweight Dynamic Symmetry Breaking. Eighth International Workshop on Symmetry in Constraint Satisfaction Problems, SymCon’08. 2008.
A Novel Approach for Detecting Symmetries in CSP Models. Seventh International Workshop on Symmetry in Constraint Satisfaction Problems, SymCon’07. 2007.