Publications


A list of publications, forever out of date.
DBLP and Google Scholar lists are typically more recent.

Paper Link
G. Gange. Combinatorial Reasoning for Sets, Graphs and Document Composition. PhD Thesis [PDF]
G. Gange, P. J. Stuckey and V. Lagoon. Fast set bounds propagation using BDDs. In Proceedings of the 18th European Converence on Artificial Intelligence, pp. 509–523, 2008. [PDF]
G. Gange, K. Marriott and P. J. Stuckey. Smooth linear approximation of non-overlap constraints. In Proceedings of the 5th International Conference on the Theory and Application of Diagrams, pp. 45–59. [PDF]
G. Gange, P. J. Stuckey and V. Lagoon. Fast set bounds propagation using a BDD-SAT hybrid. JAIR, 38:307–338, 2010. [DOI]
G. Gange, P. J. Stuckey and K. Marriott. Optimal k-level planarization and crossing minimization. In Proceedings of the 18th International Symposium on Graph Drawing, pp. 238–249, 2010. [PDF]
G. Gange, P. J. Stuckey and R. Szymanek. MDD propagators with explanation. Constraints, 16(4):407–429, 2011. [PDF]
G. Gange, K. Marriott, P. Moulder and P. Stuckey. Optimal automatic table layout. In Proceedings of the 11th ACM Symposium on Document Engineering, pp. 23–32, 2011. [PDF]
G. Gange and P. J. Stuckey. Explaining propagators for s-DNNF circuits. In Proceedings of the 9th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, to appear, 2012. [PDF]
G. Gange, K. Marriott and P. Stuckey. Optimal guillotine layout. In Proceedings of the 12th ACM Symposium on Document Engineering, to appear, 2012. [PDF]
G. Gange, H. Søndergaard, P. Stuckey and P. Schachte. Solving Difference Constraints over Modular Arithmetic. In Proceedings of the 24th Internation Conference on Automated Deduction, to appear, 2013. [PDF] [Slides]
G. Gange, J. A. Navas, P. Schachte, H. Søndergaard and P. J. Stuckey. Abstract Interpretation over Non-Lattice Abstract Domains. In Proceedings of the 20th Static Analysis Symposium, to appear, 2013. [PDF] [Slides]

Contact

Graeme Gange

Home