Graeme Gange
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
50
Venues
21
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
50 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace |
| 2022 | AAAI | Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. | Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig |
| 2022 | CPAIOR | Coupling Different Integer Encodings for SAT. | Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey |
| 2021 | AAAI | Optimising Automatic Calibration of Electric Muscle Stimulation. | Graeme Gange, Jarrod Knibbe |
| 2021 | SAS | Disjunctive Interval Analysis. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2021 | SEFM | Lightweight Nontermination Inference with CHCs. | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2021 | SoCS | ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. | Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig |
| 2020 | CP | Dashed Strings and the Replace(-all) Constraint. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2020 | CP | The Argmax Constraint. | Graeme Gange, Peter J. Stuckey |
| 2020 | CP | Core-Guided Model Reformulation. | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace |
| 2020 | CPAIOR | Core-Guided and Core-Boosted Search for CP. | Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
| 2020 | ECAI | String Constraint Solving: Past, Present and Future. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | LOPSTR | Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | SoCS | New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. | Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig |
| 2019 | APLAS | Dissecting Widening: Separating Termination from Information. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | CPAIOR | Constraint Programming for Dynamic Symbolic Execution of JavaScript. | Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2018 | AAAI | Sweep-Based Propagation for String Constraint Solving. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | CP | Propagating Regular Membership with Dashed Strings. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | CP | Sequential Precede Chain for Value Symmetry Elimination. | Graeme Gange, Peter J. Stuckey |
| 2018 | CP | A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. | Shan He, Mark Wallace, Graeme Gange, Ariel Liebman, Campbell Wilson |
| 2018 | CPAIOR | Propagating lex, find and replace with Dashed Strings. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | FLOPS | Breaking Symmetries with Lex Implications. | Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
| 2018 | IJCAI | Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. | Diego de Ua, Nataliia Rmmele, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2017 | AAAI | Automatic Logic-Based Benders Decomposition with MiniZinc. | Toby O. Davies, Graeme Gange, Peter J. Stuckey |
| 2017 | ATVA | Fixing the State Budget: Approximation of Regular Languages with Small DFAs. | Graeme Gange, Pierre Ganty, Peter J. Stuckey |
| 2017 | CP | A Novel Approach to String Constraint Solving. | Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
| 2017 | CPAIOR | Minimizing Landscape Resistance for Habitat Conservation. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2017 | SAT | A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2017 | TACAS | Combining String Abstract Domains for JavaScript Analysis: An Evaluation. | Roberto Amadini, Alexander Jordan, Graeme Gange, Franois Gauthier, Peter Schachte, Harald Sndergaard, Peter J. Stuckey, Chenyi Zhang |
| 2016 | AAAI | Steiner Tree Problems with Side Constraints Using Constraint Programming. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | CP | Breaking Symmetries in Graphs: The Nauty Way. | Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
| 2016 | CP | A Bounded Path Propagator on Directed Graphs. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | CPAIOR | On CNF Encodings of Decision Diagrams. | Ignasi Abo, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2016 | CPAIOR | Lagrangian Decomposition via Sub-problem Search. | Geoffrey Chu, Graeme Gange, Peter J. Stuckey |
| 2016 | CPAIOR | Weighted Spanning Tree Constraint with Explanations. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | ICLP | Constraint Propagation and Explanation over Novel Types by Abstract Compilation. | Graeme Gange, Peter J. Stuckey |
| 2016 | SAS | Exploiting Sparsity in Difference-Bound Matrices. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2016 | VMCAI | An Abstract Domain of Uninterpreted Functions. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2015 | ICPP | SLA-Based Resource Scheduling for Big Data Analytics as a Service in Cloud Computing Environments. | Yali Zhao, Rodrigo N. Calheiros, Graeme Gange, Kotagiri Ramamohanarao, Rajkumar Buyya |
| 2014 | LOPSTR | Analyzing Array Manipulating Programs by Program Transformation. | J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2013 | CADE | Solving Difference Constraints over Modular Arithmetic. | Graeme Gange, Harald Sndergaard, Peter J. Stuckey, Peter Schachte |
| 2013 | CP | Explaining Propagators for Edge-Valued Decision Diagrams. | Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck |
| 2013 | SAS | Abstract Interpretation over Non-lattice Abstract Domains. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2013 | TACAS | Unbounded Model-Checking with Interpolation for Regular Language Constraints. | Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Sndergaard, Peter Schachte |
| 2012 | CPAIOR | Explaining Propagators for s-DNNF Circuits. | Graeme Gange, Peter J. Stuckey |
| 2012 | DocEng | Optimal guillotine layout. | Graeme Gange, Kim Marriott, Peter J. Stuckey |
| 2011 | DocEng | Optimal automatic table layout. | Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey |
| 2010 | GD | Optimal | Graeme Gange, Peter J. Stuckey, Kim Marriott |
| 2008 | DIAGRAMS | Smooth Linear Approximation of Non-overlap Constraints. | Graeme Gange, Kim Marriott, Peter J. Stuckey |
| 2008 | ECAI | Fast Set Bounds Propagation using BDDs. | Graeme Gange, Vitaly Lagoon, Peter J. Stuckey |