Graeme Gange

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 59

Top Venues

CPAIOR

CoRR

AAAI

University of Melbourne, Australia (PHD)

Education History

University of Melbourne, Australia

PHD

Publications

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. 23 (2) (2024)
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI (2024)
Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig
Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. AAAI (2022)
Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
Coupling Different Integer Encodings for SAT. CPAIOR (2022)
Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant
Multi-Agent Path Finding with Temporal Jump Point Search. ICAPS (2022)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21 (6) (2021)
Graeme Gange, Jarrod Knibbe
Optimising Automatic Calibration of Electric Muscle Stimulation. AAAI (2021)
Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant
Jump Point Search with Temporal Obstacles. ICAPS (2021)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. CoRR (2021)
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Graeme Gange, Sven Koenig
Pairwise symmetry reasoning for multi-agent path finding search. Artif. Intell. 301 (2021)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Disjunctive Interval Analysis. SAS (2021)
Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Lightweight Nontermination Inference with CHCs. SEFM (2021)
Yali Zhao, Rodrigo N. Calheiros, Graeme Gange, James Bailey, Richard O. Sinnott
SLA-Based Profit Optimization Resource Scheduling for Big Data Analytics-as-a-Service Platforms in Cloud Computing Environments. IEEE Trans. Cloud Comput. 9 (3) (2021)
Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig
ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. SOCS (2021)
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
Core-Guided Model Reformulation. CP (2020)
Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. SOCS (2020)
Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
Core-Guided and Core-Boosted Search for CP. CPAIOR (2020)
Roberto Amadini, Graeme Gange, Peter J. Stuckey
Dashed Strings and the Replace(-all) Constraint. CP (2020)
Graeme Gange, Peter J. Stuckey
The Argmax Constraint. CP (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR (2020)
Roberto Amadini, Graeme Gange, Peter J. Stuckey
Dashed strings for string constraint solving. Artif. Intell. 289 (2020)
Edward Lam, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum 1 (3) (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
String Constraint Solving: Past, Present and Future. ECAI (2020)
Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. ICAPS (2020)
Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR (2019)
Graeme Gange, Daniel Harabor, Peter J. Stuckey
Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS (2019)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
Compiling CP subproblems to MDDs and d-DNNFs. Constraints An Int. J. 24 (1) (2019)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Dissecting Widening: Separating Termination from Information. APLAS (2019)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Precondition Inference via Partitioning of Initial States. CoRR (2018)
Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae 158 (4) (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. CoRR (2018)
Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
Breaking Symmetries with Lex Implications. FLOPS (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. 18 (3-4) (2018)
Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. IJCAI (2018)
Graeme Gange, Peter J. Stuckey
Sequential Precede Chain for Value Symmetry Elimination. CP (2018)
Roberto Amadini, Graeme Gange, Peter J. Stuckey
Propagating lex, find and replace with Dashed Strings. CPAIOR (2018)
David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter J. Stuckey
Optimal Sankey Diagrams Via Integer Programming. PacificVis (2018)
Roberto Amadini, Graeme Gange, Peter J. Stuckey
Sweep-Based Propagation for String Constraint Solving. AAAI (2018)
Shan He, Mark Wallace, Graeme Gange, Ariel Liebman, Campbell Wilson
A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. CP (2018)
Roberto Amadini, Graeme Gange, Peter J. Stuckey
Propagating Regular Membership with Dashed Strings. CP (2018)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT (2017)
Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) (2017)
Graeme Gange, Pierre Ganty, Peter J. Stuckey
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ATVA (2017)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR (2017)
Toby O. Davies, Graeme Gange, Peter J. Stuckey
Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI (2017)
Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack
A Novel Approach to String Constraint Solving. CP (2017)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
Weighted Spanning Tree Constraint with Explanations. CPAIOR (2016)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A complete refinement procedure for regular separability of context-free languages. Theor. Comput. Sci. 625 (2016)
Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey
On CNF Encodings of Decision Diagrams. CPAIOR (2016)
Vahan Yoghourdjian, Tim Dwyer, Graeme Gange, Steve Kieffer, Karsten Klein, Kim Marriott
High-Quality Ultra-Compact Grid Layout of Grouped Networks. IEEE Trans. Vis. Comput. Graph. 22 (1) (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An Abstract Domain of Uninterpreted Functions. VMCAI (2016)
Graeme Gange, Peter J. Stuckey
Constraint Propagation and Explanation over Novel Types by Abstract Compilation. ICLP (Technical Communications) (2016)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
A Bounded Path Propagator on Directed Graphs. CP (2016)
Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
Breaking Symmetries in Graphs: The Nauty Way. CP (2016)
Geoffrey Chu, Graeme Gange, Peter J. Stuckey
Lagrangian Decomposition via Sub-problem Search. CPAIOR (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Exploiting Sparsity in Difference-Bound Matrices. SAS (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Tool for Intersecting Context-Free Grammars and Its Applications. NFM (2015)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. CoRR (2015)
Yali Zhao, Rodrigo N. Calheiros, Graeme Gange, Kotagiri Ramamohanarao, Rajkumar Buyya
SLA-Based Resource Scheduling for Big Data Analytics as a Service in Cloud Computing Environments. ICPP (2015)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Horn clauses as an intermediate representation for program analysis and transformation. Theory Pract. Log. Program. 15 (4-5) (2015)
Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey
Automatic Minimal-Height Table Layout. INFORMS J. Comput. 27 (3) (2015)
Graeme Gange, Peter James Stuckey, Vitaly Lagoon
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. CoRR (2014)
Graeme Gange, Harald Søndergaard, Peter J. Stuckey
Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. 20 (1) (2014)
Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Søndergaard
Four-Valued Reasoning and Cyclic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (7) (2014)
J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Analyzing Array Manipulating Programs by Program Transformation. LOPSTR (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Trans. Program. Lang. Syst. 37 (1) (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Complete Refinement Procedure for Regular Separability of Context-Free Languages. CoRR (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Partial-Order Approach to Array Content Analysis. CoRR (2014)
Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck
Explaining Propagators for Edge-Valued Decision Diagrams. CP (2013)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Failure tabled constraint logic programming by interpolation. Theory Pract. Log. Program. 13 (4-5) (2013)
Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte
Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS (2013)
Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte
Solving Difference Constraints over Modular Arithmetic. CADE (2013)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Abstract Interpretation over Non-lattice Abstract Domains. SAS (2013)
Graeme Gange, Kim Marriott, Peter J. Stuckey
Optimal guillotine layout. ACM Symposium on Document Engineering (2012)
Graeme Gange, Peter J. Stuckey
Explaining Propagators for s-DNNF Circuits. CPAIOR (2012)
Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek
MDD propagators with explanation. Constraints An Int. J. 16 (4) (2011)
Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey
Optimal automatic table layout. ACM Symposium on Document Engineering (2011)
Graeme Gange, Peter J. Stuckey, Vitaly Lagoon
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. 38 (2010)
Graeme Gange, Peter J. Stuckey, Kim Marriott
-Level Planarization and Crossing Minimization. Graph Drawing (2010)
Graeme Gange, Vitaly Lagoon, Peter J. Stuckey
Fast Set Bounds Propagation using BDDs. ECAI (2008)
Graeme Gange, Kim Marriott, Peter J. Stuckey
Smooth Linear Approximation of Non-overlap Constraints. Diagrams (2008)

Graeme Gange.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Graeme Gange