A list of publications, forever out of date.
| 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] |