Graeme Gange

String constraint solving: past, present and future

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Conference Proceedings  |  2020  |  24th European Conference on Artificial Intelligence, Proceedings

String constraint solving is an important emerging field, given the ubiquity of strings over different fields such as formal analy..

Dissecting widening: Separating termination from information

G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings  |  2019  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Widening ensures or accelerates convergence of a program analysis, and sometimes contributes a guarantee of soundness that would o..

Compiling CP subproblems to MDDs and d-DNNFs

Diego de Una, Graeme Gange, Peter Schachte, Peter J Stuckey

Journal article  |  2019  |  Constraints

An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John P Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article  |  2018  |  Theory and Practice of Logic Programming

Reference Abstract Domains and Applications to String Analysis

Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander Jordan, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Journal article  |  2018  |  Fundamenta Informaticae

Abstract interpretation is a well established theory that supports reasoning about the run-time behaviour of programs. It achieves..

Optimal Sankey Diagrams via Integer Programming

David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter Stuckey

Conference Proceedings  |  2018  |  2018 IEEE Pacific Visualization Symposium (PacificVis)

Sweep-based propagation for string constraint solving

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Proceedings of the 2018 AAAI Conference on Artificial Intelligence

Solving constraints over strings is an emerging important field. Recently, a Constraint Programming approach based on dashed strin..

Breaking symmetries with lex implications

M Codish, T Ehlers, G Gange, A Itzhakov, PJ Stuckey

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© 2018, Springer International Publishing AG, part of Springer Nature. Breaking symmetries is crucial when solving hard combinator..

Sequential precede chain for value symmetry elimination

G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer Nature Switzerland AG 2018. The main global constraint used for removing value symmetries is the VALUE-PRECEDE-CHAIN co..

Machine learning and constraint programming for relational-to-ontology schema mapping

D De Uña, N Rümmele, G Gange, P Schachte, PJ Stuckey

Conference Proceedings  |  2018  |  Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence

© 2018 International Joint Conferences on Artificial Intelligence. All right reserved. The problem of integrating heterogeneous da..

A fast and scalable algorithm for scheduling large numbers of devices under real-time pricing

S He, M Wallace, G Gange, A Liebman, C Wilson

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer Nature Switzerland AG 2018. Real-time pricing (RTP) is a financial incentive mechanism designed to encourage demand res..

Propagating lex, find and replace with dashed strings

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Dashed strings have been recently proposed in Constraint Programming to represent the domain of string variables when solving comb..

Propagating Regular membership with dashed strings

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Principles and Practice of Constraint Programming

Using dashed strings is an approach recently introduced in Constraint Programming (CP) to represent the domain of string variables..

Minimizing Landscape Resistance for Habitat Conservation

Diego de Una, Graeme Gange, Peter Schachte, Peter J Stuckey

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A benders decomposition approach to deciding modular linear integer arithmetic

B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing AG 2017. Verification tasks frequently require deciding systems of linear constraints over mod..

Fixing the state budget: Approximation of regular languages with small DFAs

G Gange, P Ganty, PJ Stuckey

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing AG 2017. Strings are pervasive in programming, and arguably even more pervasive in web program..

A novel approach to string constraint solving

R Amadini, G Gange, PJ Stuckey, G Tack

Conference Proceedings  |  2017  |  Principles and Practice of Constraint Programming

String processing is ubiquitous across computer science, and arguably more so in web programming. In order to reason about program..

Combining String Abstract Domains for JavaScript Analysis: An Evaluation

Roberto Amadini, Alexander Jordan, Graeme Gange, Francois Gauthier, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Conference Proceedings  |  2017  |  TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I

Automatic logic-based benders decomposition with minizinc

TO Davies, G Gange, PJ Stuckey

Conference Proceedings  |  2017  |  31st AAAI Conference on Artificial Intelligence, AAAI 2017

Copyright © 2017, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. Logic-based Bend..

Constraint propagation and explanation over novel types by abstract compilation

G Gange, PJ Stuckey

Conference Proceedings  |  2016  |  OpenAccess Series in Informatics

© Graeme Gange and Peter J. Stuckey. The appeal of constraint programming (CP) lies in compositionality - the ability to mix and m..

A complete refinement procedure for regular separability of context-free languages

Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article  |  2016  |  Theoretical Computer Science

Lagrangian Decomposition via Sub-problem Search

G Chu, G Gange, PJ Stuckey

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A bounded path propagator on directed graphs

D de Uña, G Gange, P Schachte, PJ Stuckey

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing Switzerland 2016.Path finding is an ubiquitous problem in optimization and graphs in general, ..

Exploiting Sparsity in Difference-Bound Matrices

G Gange, J Navas, P Schachte, H SONDERGAARD, P Stuckey

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

An abstract domain of uninterpreted functions

G Gange, J Navas Laserna, P Schachte, H SONDERGAARD, P Stuckey

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Breaking symmetries in graphs: The nauty way

M Codish, G Gange, A Itzhakov, PJ Stuckey

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing Switzerland 2016.Symmetry breaking is an essential component when solving graph search problem..

Weighted Spanning Tree Constraint with Explanations

D de Uña, G Gange, P Schachte, PJ Stuckey

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

High-Quality Ultra-Compact Grid Layout of Grouped Networks

Vahan Yoghourdjian, Tim Dwyer, Graeme Gange, Steve Kieffer, Karsten Klein, Kim Marriott

Journal article  |  2016  |  IEEE Transactions on Visualization and Computer Graphics

Steiner Tree Problems with Side Constraints Using Constraint Programming

D de Una, G Gange, P Schachte, P STUCKEY

Conference Proceedings  |  2016  |  30th AAAI Conference on Artificial Intelligence, AAAI 2016

On CNF Encodings of Decision Diagrams

I Abío, G Gange, V Mayer-Eichberger, PJ Stuckey

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Automatic Minimal-Height Table Layout

Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J Stuckey

Journal article  |  2015  |  INFORMS Journal on Computing

Analyzing Array Manipulating Programs by Program Transformation

JRM Cornish, G Gange, JA Navas, P Schachte, H SONDERGAARD, PJ Stuckey

Conference Proceedings  |  2015  |  LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014)

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Journal article  |  2015  |  ACM Transactions on Programming Languages and Systems

Horn Clauses As an Intermediate Representation for Program Analysis and Transformation

G Gange, J Navas Laserna, P Schachte, H SONDERGAARD, PJ Stuckey

Journal article  |  2015  |  Theory and Practice of Logic Programming

SLA-Based Resource Scheduling for Big Data Analytics as a Service in Cloud Computing Environments

Y Zhao, RN Calheiros, G Gange, K Ramamohanarao, R Buyya

Conference Proceedings  |  2015  |  2015 44th International Conference on Parallel Processing

A tool for intersecting context-free grammars and its applications

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Conference Proceedings  |  2015  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Synthesizing Optimal Switching Lattices

Graeme Gange, Harald Søndergaard, Peter J Stuckey

Journal article  |  2014  |  ACM Transactions on Design Automation of Electronic Systems

Failure tabled constraint logic programming by interpolation

Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article  |  2013  |  Theory and Practice of Logic Programming

Solving Difference Constraints over Modular Arithmetic

G Gange, H Sondergaard, PJ Stuckey, P Schachte

Conference Proceedings  |  2013  |  Automated Deduction - CADE-24

Unbounded model-checking with interpolation for regular language constraints

G Gange, JA Navas, PJ Stuckey, H Sondergaard, P Schachte

Conference Proceedings  |  2013  |  Tools and Algorithms for the Construction and Analysis of Systems

Abstract Interpretation over Non-Lattice Abstract Domains

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Conference Proceedings  |  2013  |  Static Analysis

Explaining propagators for edge-valued decision diagrams

G Gange, PJ Stuckey, P Van Hentenryck

Conference Proceedings  |  2013  |  Principles and Practice of Constraint Programming

Optimal guillotine layout

G Gange, K Marriott, P Stuckey

Conference Proceedings  |  2012  |  Proceedings of the 2012 ACM symposium on Document engineering

BetaSearch: a new method for querying β-residue motifs.

Hui Kian Ho, Graeme Gange, Michael J Kuiper, Kotagiri Ramamohanarao

Journal article  |  2012  |  BMC Research Notes

BACKGROUND: Searching for structural motifs across known protein structures can be useful for identifying unrelated proteins with ..

MDD propagators with explanation

Graeme Gange, Peter J Stuckey, Radoslaw Szymanek

Journal article  |  2011  |  Constraints

Optimal Automatic Table Layout

Graeme Gange, Kim Marriott, Peter Moulder, Peter Stuckey

Conference Proceedings  |  2011  |  Proceedings of the 11th ACM Symposium on Document Engineering

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Graeme Gange, Peter J Stuckey, Vitaly Lagoon

Journal article  |  2010  |  JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH