default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGraeme 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, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey:
Coupling Different Integer Encodings for SAT. CPAIOR 2022: 44-63 - 2021
- [j19]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: 103574 (2021) - [j18]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): 1236-1253 (2021) - [j17]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): 11:1-11:51 (2021) - [j16]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
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, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Disjunctive Interval Analysis. SAS 2021: 144-165 - [c50]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
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, Graeme Gange, Peter J. Stuckey:
Dashed strings for string constraint solving. Artif. Intell. 289: 103368 (2020) - [j14]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) - [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, Peter J. Stuckey:
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift 2020: 7:1-7:19 - [c46]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Dashed Strings and the Replace(-all) Constraint. CP 2020: 3-20 - [c45]Graeme Gange, Peter J. Stuckey:
The Argmax Constraint. CP 2020: 323-337 - [c44]Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace:
Core-Guided Model Reformulation. CP 2020: 445-461 - [c43]Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey:
Core-Guided and Core-Boosted Search for CP. CPAIOR 2020: 205-221 - [c42]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
String Constraint Solving: Past, Present and Future. ECAI 2020: 2875-2876 - [c41]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
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, Graeme Gange, Peter Schachte, Peter J. Stuckey:
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, Harald Søndergaard, Peter J. Stuckey:
Dissecting Widening: Separating Termination from Information. APLAS 2019: 95-114 - [c37]Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR 2019: 1-19 - 2018
- [j12]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): 297-326 (2018) - [j11]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): 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, Tim Dwyer, Graeme Gange, Peter J. Stuckey:
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, Graeme Gange, Ariel Liebman, Campbell Wilson:
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, Peter J. Stuckey:
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, Peter J. Stuckey:
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, Peter J. Stuckey:
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, Guido Tack:
A Novel Approach to String Constraint Solving. CP 2017: 3-20 - [c25]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR 2017: 113-130 - [c24]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT 2017: 380-397 - [c23]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: 41-57 - 2016
- [j10]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: 1-24 (2016) - [j9]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): 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, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries in Graphs: The Nauty Way. CP 2016: 157-172 - [c20]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
A Bounded Path Propagator on Directed Graphs. CP 2016: 189-206 - [c19]Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey:
On CNF Encodings of Decision Diagrams. CPAIOR 2016: 1-17 - [c18]Geoffrey Chu, Graeme Gange, Peter J. Stuckey:
Lagrangian Decomposition via Sub-problem Search. CPAIOR 2016: 65-80 - [c17]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
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, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Exploiting Sparsity in Difference-Bound Matrices. SAS 2016: 189-211 - [c14]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An Abstract Domain of Uninterpreted Functions. VMCAI 2016: 85-103 - 2015
- [j8]Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey:
Automatic Minimal-Height Table Layout. INFORMS J. Comput. 27(3): 449-461 (2015) - [j7]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): 526-542 (2015) - [c13]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: 510-519 - [c12]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: 422-428 - [i4]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 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, Harald Søndergaard, Peter J. Stuckey:
Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. 20(1): 6:1-6:14 (2014) - [j4]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): 1:1-1:35 (2014) - [c11]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: 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, Peter J. Stuckey:
A Partial-Order Approach to Array Content Analysis. CoRR abs/1408.1754 (2014) - [i1]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 abs/1411.5131 (2014) - 2013
- [j3]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): 593-607 (2013) - [c10]Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte:
Solving Difference Constraints over Modular Arithmetic. CADE 2013: 215-230 - [c9]Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck:
Explaining Propagators for Edge-Valued Decision Diagrams. CP 2013: 340-355 - [c8]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation over Non-lattice Abstract Domains. SAS 2013: 6-24 - [c7]Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte:
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, Peter J. Stuckey:
Explaining Propagators for s-DNNF Circuits. CPAIOR 2012: 195-210 - [c5]Graeme Gange, Kim Marriott, Peter J. Stuckey:
Optimal guillotine layout. ACM Symposium on Document Engineering 2012: 13-22 - 2011
- [j2]Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek:
MDD propagators with explanation. Constraints An Int. J. 16(4): 407-429 (2011) - [c4]Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey:
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, Peter J. Stuckey, Kim Marriott:
Optimal k-Level Planarization and Crossing Minimization. GD 2010: 238-249
2000 – 2009
- 2008
- [c2]Graeme Gange, Kim Marriott, Peter J. Stuckey:
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 21:20 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:
