Smooth Linear Approximation of Non-overlap Constraints. - Graeme Gange; Kim Marriott; Peter J. Stuckey (Diagrams, 2008)

Fast Set Bounds Propagation using BDDs. - Graeme Gange; Vitaly Lagoon; Peter J. Stuckey (ECAI, 2008)

Optimal k-Level Planarization and Crossing Minimization. - Graeme Gange; Peter J. Stuckey; Kim Marriott (GD, 2010)

Fast Set Bounds Propagation Using a BDD-SAT Hybrid. - Graeme Gange; Peter J. Stuckey; Vitaly Lagoon (J. Artif. Intell. Res., 2010)

Optimal automatic table layout. - Graeme Gange; Kim Marriott; Peter Moulder; Peter J. Stuckey (ACM Symposium on Document Engineering, 2011)

MDD propagators with explanation. - Graeme Gange; Peter J. Stuckey; Radoslaw Szymanek (Constraints An Int. J., 2011)

Explaining Propagators for s-DNNF Circuits. - Graeme Gange; Peter J. Stuckey (CPAIOR, 2012)

Optimal guillotine layout. - Graeme Gange; Kim Marriott; Peter J. Stuckey (ACM Symposium on Document Engineering, 2012)

Combinatorial reasoning for sets, graphs and document composition. - Graeme Gange (2012)

Solving Difference Constraints over Modular Arithmetic. - Graeme Gange; Harald Søndergaard; Peter J. Stuckey; Peter Schachte (CADE, 2013)

Explaining Propagators for Edge-Valued Decision Diagrams. - Graeme Gange; Peter J. Stuckey; Pascal Van Hentenryck (CP, 2013)

Abstract Interpretation over Non-lattice Abstract Domains. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2013)

Unbounded Model-Checking with Interpolation for Regular Language Constraints. - Graeme Gange; Jorge A. Navas; Peter J. Stuckey; Harald Søndergaard; Peter Schachte (TACAS, 2013)

Failure tabled constraint logic programming by interpolation. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2013)

Analyzing Array Manipulating Programs by Program Transformation. - J. Robert M. Cornish; Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (LOPSTR, 2014)

A Partial-Order Approach to Array Content Analysis. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CoRR, 2014)

Four-Valued Reasoning and Cyclic Circuits. - Graeme Gange; Benjamin Horsfall; Lee Naish; Harald Søndergaard (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Synthesizing Optimal Switching Lattices. - Graeme Gange; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Design Autom. Electr. Syst., 2014)

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2014)

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 (ICPP, 2015)

A Tool for Intersecting Context-Free Grammars and Its Applications. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (NFM, 2015)

Automatic Minimal-Height Table Layout. - Mihai Bilauca; Graeme Gange; Patrick Healy; Kim Marriott; Peter Moulder; Peter J. Stuckey (INFORMS J. Comput., 2015)

Horn clauses as an intermediate representation for program analysis and transformation. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2015)

Steiner Tree Problems with Side Constraints Using Constraint Programming. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (AAAI, 2016)

Breaking Symmetries in Graphs: The Nauty Way. - Michael Codish; Graeme Gange; Avraham Itzhakov; Peter J. Stuckey (CP, 2016)

A Bounded Path Propagator on Directed Graphs. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (CP, 2016)

On CNF Encodings of Decision Diagrams. - Ignasi Abío; Graeme Gange; Valentin Mayer-Eichberger; Peter J. Stuckey (CPAIOR, 2016)

Lagrangian Decomposition via Sub-problem Search. - Geoffrey Chu; Graeme Gange; Peter J. Stuckey (CPAIOR, 2016)

Weighted Spanning Tree Constraint with Explanations. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (CPAIOR, 2016)

Constraint Propagation and Explanation over Novel Types by Abstract Compilation. - Graeme Gange; Peter J. Stuckey (ICLP (Technical Communications), 2016)

Exploiting Sparsity in Difference-Bound Matrices. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2016)

An Abstract Domain of Uninterpreted Functions. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (VMCAI, 2016)

A complete refinement procedure for regular separability of context-free languages. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theor. Comput. Sci., 2016)

High-Quality Ultra-Compact Grid Layout of Grouped Networks. - Vahan Yoghourdjian; Tim Dwyer; Graeme Gange; Steve Kieffer; Karsten Klein 001; Kim Marriott (IEEE Trans. Vis. Comput. Graph., 2016)

Automatic Logic-Based Benders Decomposition with MiniZinc. - Toby O. Davies; Graeme Gange; Peter J. Stuckey (AAAI, 2017)

Fixing the State Budget: Approximation of Regular Languages with Small DFAs. - Graeme Gange; Pierre Ganty; Peter J. Stuckey (ATVA, 2017)

A Novel Approach to String Constraint Solving. - Roberto Amadini; Graeme Gange; Peter J. Stuckey; Guido Tack (CP, 2017)

Minimizing Landscape Resistance for Habitat Conservation. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (CPAIOR, 2017)

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAT, 2017)

Combining String Abstract Domains for JavaScript Analysis: An Evaluation. - Roberto Amadini; Alexander Jordan; Graeme Gange; François Gauthier 001; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (TACAS (1), 2017)

Sweep-Based Propagation for String Constraint Solving. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (AAAI, 2018)

Optimal Sankey Diagrams Via Integer Programming. - David Cheng Zarate; Pierre Le Bodic; Tim Dwyer; Graeme Gange; Peter J. Stuckey (PacificVis, 2018)

Propagating Regular Membership with Dashed Strings. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (CP, 2018)

Sequential Precede Chain for Value Symmetry Elimination. - Graeme Gange; Peter J. Stuckey (CP, 2018)

A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. - Shan He; Mark Wallace 001; Graeme Gange; Ariel Liebman; Campbell Wilson (CP, 2018)

Propagating lex, find and replace with Dashed Strings. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (CPAIOR, 2018)

Breaking Symmetries with Lex Implications. - Michael Codish; Thorsten Ehlers; Graeme Gange; Avraham Itzhakov; Peter J. Stuckey (FLOPS, 2018)

Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. - Diego de Uña; Nataliia Rümmele; Graeme Gange; Peter Schachte; Peter J. Stuckey (IJCAI, 2018)

Precondition Inference via Partitioning of Initial States. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CoRR, 2018)

Reference Abstract Domains and Applications to String Analysis. - Roberto Amadini; Graeme Gange; François Gauthier 001; Alexander Jordan; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (Fundam. Informaticae, 2018)

An iterative approach to precondition inference using constrained Horn clauses. - Bishoksan Kafle; John P. Gallagher; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2018)

Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. - Graeme Gange; Daniel Harabor; Peter J. Stuckey (ICAPS, 2019)

Dissecting Widening: Separating Termination from Information. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (APLAS, 2019)

Constraint Programming for Dynamic Symbolic Execution of JavaScript. - Roberto Amadini; Mak Andrlon; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CPAIOR, 2019)

Compiling CP subproblems to MDDs and d-DNNFs. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (Constraints An Int. J., 2019)

Abstract Interpretation, Symbolic Execution and Constraints. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Gabbrielli's Festschrift, 2020)

Dashed Strings and the Replace(-all) Constraint. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (CP, 2020)

The Argmax Constraint. - Graeme Gange; Peter J. Stuckey (CP, 2020)

Core-Guided Model Reformulation. - Kevin Leo; Graeme Gange; Maria Garcia de la Banda; Mark Wallace 001 (CP, 2020)

Core-Guided and Core-Boosted Search for CP. - Graeme Gange; Jeremias Berg; Emir Demirovic; Peter J. Stuckey (CPAIOR, 2020)

String Constraint Solving: Past, Present and Future. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ECAI, 2020)

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (LOPSTR, 2020)

New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. - Jiaoyang Li 001; Graeme Gange; Daniel Harabor; Peter J. Stuckey; Hang Ma 001; Sven Koenig (SOCS, 2020)

Dashed strings for string constraint solving. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (Artif. Intell., 2020)

Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. - Edward Lam 001; Graeme Gange; Peter J. Stuckey; Pascal Van Hentenryck; Jip J. Dekker (Oper. Res. Forum, 2020)

Optimising Automatic Calibration of Electric Muscle Stimulation. - Graeme Gange; Jarrod Knibbe (AAAI, 2021)

Jump Point Search with Temporal Obstacles. - Shuli Hu; Daniel Damir Harabor; Graeme Gange; Peter J. Stuckey; Nathan R. Sturtevant (ICAPS, 2021)

Disjunctive Interval Analysis. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2021)

Lightweight Nontermination Inference with CHCs. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SEFM, 2021)

ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. - Shao-Hung Chan; Jiaoyang Li 001; Graeme Gange; Daniel Harabor; Peter J. Stuckey; Sven Koenig (SOCS, 2021)

Pairwise symmetry reasoning for multi-agent path finding search. - Jiaoyang Li 001; Daniel Harabor; Peter J. Stuckey; Hang Ma 001; Graeme Gange; Sven Koenig (Artif. Intell., 2021)

SLA-Based Profit Optimization Resource Scheduling for Big Data Analytics-as-a-Service Platforms in Cloud Computing Environments. - Yali Zhao; Rodrigo N. Calheiros; Graeme Gange; James Bailey 001; Richard O. Sinnott (IEEE Trans. Cloud Comput., 2021)

A Fresh Look at Zones and Octagons. - Graeme Gange; Zequn Ma; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2021)

Transformation-Enabled Precondition Inference. - Bishoksan Kafle; Graeme Gange; Peter J. Stuckey; Peter Schachte; Harald Søndergaard (Theory Pract. Log. Program., 2021)

Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. - Shao-Hung Chan; Jiaoyang Li 001; Graeme Gange; Daniel Harabor; Peter J. Stuckey; Sven Koenig (AAAI, 2022)

Multi-Agent Path Finding with Temporal Jump Point Search. - Shuli Hu; Daniel Damir Harabor; Graeme Gange; Peter J. Stuckey; Nathan R. Sturtevant (ICAPS, 2022)

Coupling Different Integer Encodings for SAT. - Hendrik Bierlee; Graeme Gange; Guido Tack; Jip J. Dekker; Peter J. Stuckey (CPAIOR, 2022)

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. - Kevin Leo; Graeme Gange; Maria Garcia de la Banda; Mark Wallace 001 (AAAI, 2024)

A lightweight approach to nontermination inference using Constrained Horn Clauses. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Softw. Syst. Model., 2024)