引用次数
引用: 1,232
H-指数: 21
I10-指数 : 38
出版物: 80
Fast Set Bounds Propagation using BDDs
Vitaly Lagoon , Graeme Gange , Peter J. Stuckey
european conference on artificial intelligence 178 505 -509
7
2008
Fast set bounds propagation using a BDD-SAT hybrid
Vitaly Lagoon , Graeme Gange , Peter J. Stuckey
Journal of Artificial Intelligence Research 38 ( 1) 307 -338
13
2010
Sweep-based propagation for string constraint solving
Roberto Amadini , Graeme Gange , Peter J. Stuckey
national conference on artificial intelligence 6557 -6564
10
2018
Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation
Daniel Harabor , Graeme Gange , Peter J. Stuckey
international conference on automated planning and scheduling 29 155 -162
55
2019
New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding.
Daniel Harabor , Graeme Gange , Peter J. Stuckey , Sven Koenig
SOCS 129 -130
61
2020
String constraint solving: past, present and future
Roberto Amadini , Peter Schachte , Graeme Gange , Peter J. Stuckey
european conference on artificial intelligence 2875 -2876
1
2020
Horn Clauses As an Intermediate Representation for Program Analysis and Transformation
Peter Schachte , Graeme Gange , Peter J. Stuckey , Harald Søndergaard
Theory and Practice of Logic Programming 15 526 -542
16
2015
Reference Abstract Domains and Applications to String Analysis
Roberto Amadini , Graeme Gange , François Gauthier , Alexander Jordan
Fundamenta Informaticae 158 ( 4) 297 -326
5
2018
Automatic Minimal-Height Table Layout
Mihai Bilauca , Graeme Gange , Patrick Healy , Kim Marriott
Informs Journal on Computing 27 ( 3) 449 -461
2015
Dissecting widening: Separating termination from information
Graeme Gange , Jorge A. Navas , Peter Schachte , Harald Søndergaard
asian symposium on programming languages and systems 95 -114
2019
On CNF Encodings of Decision Diagrams
Ignasi Abío , Graeme Gange , Valentin Mayer-Eichberger , Peter J. Stuckey
integration of ai and or techniques in constraint programming 1 -17
11
2016
Weighted Spanning Tree Constraint with Explanations
Diego de Uña , Graeme Gange , Peter Schachte , Peter J. Stuckey
integration of ai and or techniques in constraint programming 98 -107
2
2016
Lagrangian Decomposition via Sub-problem Search
Geoffrey Chu , Graeme Gange , Peter J. Stuckey
integration of ai and or techniques in constraint programming 65 -80
2
2016
Breaking Symmetries in Graphs: The Nauty Way
Michael Codish , Graeme Gange , Avraham Itzhakov , Peter J. Stuckey
principles and practice of constraint programming 157 -172
2
2016
A Bounded Path Propagator on Directed Graphs
Diego de Uña , Graeme Gange , Peter Schachte , Peter J. Stuckey
principles and practice of constraint programming 189 -206
1
2016
Unbounded model-checking with interpolation for regular language constraints
Graeme Gange , Jorge A. Navas , Peter J. Stuckey , Harald Søndergaard
tools and algorithms for construction and analysis of systems 7795 277 -291
17
2013
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic
Bishoksan Kafle , Graeme Gange , Peter Schachte , Harald Søndergaard
Theory and Applications of Satisfiability Testing – SAT 2017 380 -397
1
2017
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check
Edward Lam , Graeme Gange , Peter J. Stuckey , Pascal Van Hentenryck
SN Operations Research Forum 1 ( 3) 1 -27
2020
Optimal automatic table layout
Graeme Gange , Kim Marriott , Peter Moulder , Peter Stuckey
Proceedings of the 11th ACM symposium on Document engineering - DocEng '11 23 -32
4
2011
Combining String Abstract Domains for JavaScript Analysis: An Evaluation
Roberto Amadini , Alexander Jordan , Graeme Gange , François Gauthier
tools and algorithms for construction and analysis of systems 10205 41 -57
19
2017