팔로우
Graeme Gange
제목
인용
인용
연도
Lazy CBS: Implicit conflict-based search using lazy clause generation
G Gange, D Harabor, PJ Stuckey
Proceedings of the International Conference on Automated Planning and …, 2019
782019
New techniques for pairwise symmetry breaking in multi-agent path finding
J Li, G Gange, D Harabor, PJ Stuckey, H Ma, S Koenig
Proceedings of the International Conference on Automated Planning and …, 2020
732020
Pairwise symmetry reasoning for multi-agent path finding search
J Li, D Harabor, PJ Stuckey, H Ma, G Gange, S Koenig
Artificial Intelligence 301, 103574, 2021
552021
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
Parallel Processing (ICPP), 2015 44th International Conference on, 510-519, 2015
542015
High-quality ultra-compact grid layout of grouped networks
V Yoghourdjian, T Dwyer, G Gange, S Kieffer, K Klein, K Marriott
IEEE transactions on visualization and computer graphics 22 (1), 339-348, 2016
432016
Combining String Abstract Domains for JavaScript Analysis: An Evaluation
R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
382017
MDD propagators with explanation
G Gange, PJ Stuckey, R Szymanek
Constraints 16 (4), 407-429, 2011
382011
SLA-Based Profit Optimization Resource Scheduling for Big Data Analytics-as-a-Service Platforms in Cloud Computing Environments
Y Zhao, R Calheiros, G Gange, J Bailey, R Sinnott
IEEE Transactions on Cloud Computing, 2018
362018
An Abstract Domain of Uninterpreted Functions
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Conference on Verification, Model Checking, and Abstract …, 2016
362016
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping.
D De Una, N Rümmele, G Gange, P Schachte, PJ Stuckey
IJCAI, 1277-1283, 2018
332018
Abstract interpretation over non-lattice abstract domains
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 6-24, 2013
332013
Synthesizing Optimal Switching Lattices
G Gange, H Søndergaard, PJ Stuckey
ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (1), 6, 2014
302014
Horn clauses as an intermediate representation for program analysis and transformation
G Gange, JA Navas, P Schachte, H SØNDERGAARD, PJ Stuckey
Theory and Practice of Logic Programming 15 (4-5), 526-542, 2015
292015
Optimal k-level planarization and crossing minimization
G Gange, PJ Stuckey, K Marriott
International Symposium on Graph Drawing, 238-249, 2010
282010
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (1), 1, 2015
272015
Optimal Sankey Diagrams via Integer Programming
DC Zarate, P Le Bodic, T Dwyer, G Gange, P Stuckey
Pacific Visualization Symposium (PacificVis), 2018 IEEE, 135-139, 2018
262018
Exploiting Sparsity in Difference-Bound Matrices
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 189-211, 2016
262016
Unbounded model-checking with interpolation for regular language constraints
G Gange, JA Navas, PJ Stuckey, H Søndergaard, P Schachte
International Conference on Tools and Algorithms for the Construction and …, 2013
252013
Failure tabled constraint logic programming by interpolation
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 593-607, 2013
232013
On CNF Encodings of Decision Diagrams
I Abıo, G Gange, V Mayer-Eichberger, PJ Stuckey
Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016
22*2016
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20