default search action
Graeme Gange
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j20]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): 319-342 (2024) - [c57]Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace:
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI 2024: 8065-8072 - 2022
- [c56]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: 9313-9322 - [c55]Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Multi-Agent Path Finding with Temporal Jump Point Search. ICAPS 2022: 169-173 - [c54]Hendrik Bierlee
Coupling Different Integer Encodings for SAT. CPAIOR 2022: 44-63 - 2021
- [j19]Jiaoyang Li
Pairwise symmetry reasoning for multi-agent path finding search. Artif. Intell. 301: 103574 (2021) - [j18]Yali Zhao
SLA-Based Profit Optimization Resource Scheduling for Big Data Analytics-as-a-Service Platforms in Cloud Computing Environments. IEEE Trans. Cloud Comput. 9(3): 1236-1253 (2021) - [j17]Graeme Gange
A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. 43(3): 11:1-11:51 (2021) - [j16]Bishoksan Kafle
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21(6): 700-716 (2021) - [c53]Graeme Gange, Jarrod Knibbe:
Optimising Automatic Calibration of Electric Muscle Stimulation. AAAI 2021: 3759-3767 - [c52]Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Jump Point Search with Temporal Obstacles. ICAPS 2021: 184-191 - [c51]Graeme Gange
Disjunctive Interval Analysis. SAS 2021: 144-165 - [c50]Bishoksan Kafle
Lightweight Nontermination Inference with CHCs. SEFM 2021: 383-402 - [c49]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: 159-161 - [i7]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. CoRR abs/2108.03178 (2021) - 2020
- [j15]Roberto Amadini
Dashed strings for string constraint solving. Artif. Intell. 289: 103368 (2020) - [j14]Edward Lam
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum 1(3) (2020) - [c48]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: 193-201 - [c47]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift 2020: 7:1-7:19 - [c46]Roberto Amadini
Dashed Strings and the Replace(-all) Constraint. CP 2020: 3-20 - [c45]Graeme Gange
The Argmax Constraint. CP 2020: 323-337 - [c44]Kevin Leo
Core-Guided Model Reformulation. CP 2020: 445-461 - [c43]Graeme Gange, Jeremias Berg
Core-Guided and Core-Boosted Search for CP. CPAIOR 2020: 205-221 - [c42]Roberto Amadini, Graeme Gange, Peter Schachte
String Constraint Solving: Past, Present and Future. ECAI 2020: 2875-2876 - [c41]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR 2020: 192-209 - [c40]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: 129-130
2010 – 2019
- 2019
- [j13]Diego de Uña
Compiling CP subproblems to MDDs and d-DNNFs. Constraints An Int. J. 24(1): 56-93 (2019) - [c39]Graeme Gange, Daniel Harabor, Peter J. Stuckey:
Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS 2019: 155-162 - [c38]Graeme Gange, Jorge A. Navas, Peter Schachte
Dissecting Widening: Separating Termination from Information. APLAS 2019: 95-114 - [c37]Roberto Amadini, Mak Andrlon
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR 2019: 1-19 - 2018
- [j12]Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan
Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae 158(4): 297-326 (2018) - [j11]Bishoksan Kafle
An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. 18(3-4): 553-570 (2018) - [c36]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Sweep-Based Propagation for String Constraint Solving. AAAI 2018: 6557-6564 - [c35]David Cheng Zarate, Pierre Le Bodic
Optimal Sankey Diagrams Via Integer Programming. PacificVis 2018: 135-139 - [c34]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Propagating Regular Membership with Dashed Strings. CP 2018: 13-29 - [c33]Graeme Gange, Peter J. Stuckey:
Sequential Precede Chain for Value Symmetry Elimination. CP 2018: 144-159 - [c32]Shan He, Mark Wallace
A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. CP 2018: 649-666 - [c31]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Propagating lex, find and replace with Dashed Strings. CPAIOR 2018: 18-34 - [c30]Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
Breaking Symmetries with Lex Implications. FLOPS 2018: 182-197 - [c29]Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. IJCAI 2018: 1277-1283 - [i6]Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard
An iterative approach to precondition inference using constrained Horn clauses. CoRR abs/1804.05989 (2018) - [i5]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard
Precondition Inference via Partitioning of Initial States. CoRR abs/1811.06771 (2018) - 2017
- [c28]Toby O. Davies, Graeme Gange, Peter J. Stuckey:
Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI 2017: 787-793 - [c27]Graeme Gange, Pierre Ganty, Peter J. Stuckey:
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ATVA 2017: 67-83 - [c26]Roberto Amadini, Graeme Gange, Peter J. Stuckey
A Novel Approach to String Constraint Solving. CP 2017: 3-20 - [c25]Diego de Uña, Graeme Gange
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR 2017: 113-130 - [c24]Bishoksan Kafle, Graeme Gange
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT 2017: 380-397 - [c23]Roberto Amadini, Alexander Jordan
Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) 2017: 41-57 - 2016
- [j10]Graeme Gange
A complete refinement procedure for regular separability of context-free languages. Theor. Comput. Sci. 625: 1-24 (2016) - [j9]Vahan Yoghourdjian, Tim Dwyer
High-Quality Ultra-Compact Grid Layout of Grouped Networks. IEEE Trans. Vis. Comput. Graph. 22(1): 339-348 (2016) - [c22]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI 2016: 3383-3389 - [c21]Michael Codish
Breaking Symmetries in Graphs: The Nauty Way. CP 2016: 157-172 - [c20]Diego de Uña, Graeme Gange
A Bounded Path Propagator on Directed Graphs. CP 2016: 189-206 - [c19]Ignasi Abío, Graeme Gange
On CNF Encodings of Decision Diagrams. CPAIOR 2016: 1-17 - [c18]Geoffrey Chu, Graeme Gange
Lagrangian Decomposition via Sub-problem Search. CPAIOR 2016: 65-80 - [c17]Diego de Uña, Graeme Gange
Weighted Spanning Tree Constraint with Explanations. CPAIOR 2016: 98-107 - [c16]Graeme Gange, Peter J. Stuckey:
Constraint Propagation and Explanation over Novel Types by Abstract Compilation. ICLP (Technical Communications) 2016: 13:1-13:14 - [c15]Graeme Gange
Exploiting Sparsity in Difference-Bound Matrices. SAS 2016: 189-211 - [c14]Graeme Gange
An Abstract Domain of Uninterpreted Functions. VMCAI 2016: 85-103 - 2015
- [j8]Mihai Bilauca, Graeme Gange
Automatic Minimal-Height Table Layout. INFORMS J. Comput. 27(3): 449-461 (2015) - [j7]Graeme Gange
Horn clauses as an intermediate representation for program analysis and transformation. Theory Pract. Log. Program. 15(4-5): 526-542 (2015) - [c13]Yali Zhao, Rodrigo N. Calheiros
SLA-Based Resource Scheduling for Big Data Analytics as a Service in Cloud Computing Environments. ICPP 2015: 510-519 - [c12]Graeme Gange
A Tool for Intersecting Context-Free Grammars and Its Applications. NFM 2015: 422-428 - [i4]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. CoRR abs/1507.05762 (2015) - 2014
- [j6]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): 1003-1016 (2014) - [j5]Graeme Gange
Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. 20(1): 6:1-6:14 (2014) - [j4]Graeme Gange
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Trans. Program. Lang. Syst. 37(1): 1:1-1:35 (2014) - [c11]J. Robert M. Cornish, Graeme Gange
Analyzing Array Manipulating Programs by Program Transformation. LOPSTR 2014: 3-20 - [i3]Graeme Gange, Peter James Stuckey, Vitaly Lagoon:
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. CoRR abs/1401.3846 (2014) - [i2]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard
A Partial-Order Approach to Array Content Analysis. CoRR abs/1408.1754 (2014) - [i1]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard
A Complete Refinement Procedure for Regular Separability of Context-Free Languages. CoRR abs/1411.5131 (2014) - 2013
- [j3]Graeme Gange
Failure tabled constraint logic programming by interpolation. Theory Pract. Log. Program. 13(4-5): 593-607 (2013) - [c10]Graeme Gange
Solving Difference Constraints over Modular Arithmetic. CADE 2013: 215-230 - [c9]Graeme Gange
Explaining Propagators for Edge-Valued Decision Diagrams. CP 2013: 340-355 - [c8]Graeme Gange
Abstract Interpretation over Non-lattice Abstract Domains. SAS 2013: 6-24 - [c7]Graeme Gange
Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS 2013: 277-291 - 2012
- [b1]Graeme Gange:
Combinatorial reasoning for sets, graphs and document composition. University of Melbourne, Australia, 2012 - [c6]Graeme Gange
Explaining Propagators for s-DNNF Circuits. CPAIOR 2012: 195-210 - [c5]Graeme Gange
Optimal guillotine layout. ACM Symposium on Document Engineering 2012: 13-22 - 2011
- [j2]Graeme Gange
MDD propagators with explanation. Constraints An Int. J. 16(4): 407-429 (2011) - [c4]Graeme Gange
Optimal automatic table layout. ACM Symposium on Document Engineering 2011: 23-32 - 2010
- [j1]Graeme Gange, Peter J. Stuckey, Vitaly Lagoon:
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. 38: 307-338 (2010) - [c3]Graeme Gange
Optimal k-Level Planarization and Crossing Minimization. GD 2010: 238-249
2000 – 2009
- 2008
- [c2]Graeme Gange
Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59 - [c1]Graeme Gange, Vitaly Lagoon, Peter J. Stuckey:
Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509
Coauthor Index
Peter J. Stuckey
aka: Peter James Stuckey
aka: Peter James Stuckey
[j20] [c56] [c55] [c54] [j19] [j17] [j16] [c52] [c51] [c50] [c49] [i7] [j15] [j14] [c48] [c47] [c46] [c45] [c43] [c42] [c41] [c40] [j13] [c39] [c38] [c37] [j12] [j11] [c36] [c35] [c34] [c33] [c31] [c30] [c29] [i6] [i5] [c28] [c27] [c26] [c25] [c24] [c23] [j10] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [j8] [j7] [c12] [i4] [j5] [j4] [c11] [i3] [i2] [i1] [j3] [c10] [c9] [c8] [c7] [c6] [c5] [j2] [c4] [j1] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: