×
Compute Distance To:
Author ID: gange.graeme Recent zbMATH articles by "Gange, Graeme"
Published as: Gange, Graeme; Gange, G.
External Links: ORCID
Documents Indexed: 27 Publications since 2010
Co-Authors: 32 Co-Authors with 27 Joint Publications
432 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 47 times in 40 Documents Cited by Year
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
6
2011
Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
5
2015
An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075
Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
4
2018
Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162
Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter
3
2013
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
3
2010
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2013
Nutmeg: a MIP and CP hybrid solver using branch-and-check. Zbl 1459.90133
Lam, Edward; Gange, Graeme; Stuckey, Peter J.; Van Hentenryck, Pascal; Dekker, Jip J.
3
2020
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326
Li, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven
2
2021
Reference abstract domains and applications to string analysis. Zbl 1386.68031
Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi
2
2018
Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682
Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2019
Lagrangian decomposition via sub-problem search. Zbl 1475.68338
Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J.
2
2016
Dashed strings for string constraint solving. Zbl 07382222
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
1
2020
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
Breaking symmetries with lex implications. Zbl 06900732
Codish, Michael; Ehlers, Thorsten; Gange, Graeme; Itzhakov, Avraham; Stuckey, Peter J.
1
2018
Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
1
2019
Propagating lex, find and replace with dashed strings. Zbl 06982381
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
1
2018
A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238
Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2017
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.
1
2015
An abstract domain of uninterpreted functions. Zbl 1475.68086
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2016
On CNF encodings of decision diagrams. Zbl 1475.68331
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
1
2016
Weighted spanning tree constraint with explanations. Zbl 1475.68339
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
1
2016
Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326
Li, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven
2
2021
Nutmeg: a MIP and CP hybrid solver using branch-and-check. Zbl 1459.90133
Lam, Edward; Gange, Graeme; Stuckey, Peter J.; Van Hentenryck, Pascal; Dekker, Jip J.
3
2020
Dashed strings for string constraint solving. Zbl 07382222
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
1
2020
Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682
Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2019
Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
1
2019
An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075
Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
4
2018
Reference abstract domains and applications to string analysis. Zbl 1386.68031
Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi
2
2018
Breaking symmetries with lex implications. Zbl 06900732
Codish, Michael; Ehlers, Thorsten; Gange, Graeme; Itzhakov, Avraham; Stuckey, Peter J.
1
2018
Propagating lex, find and replace with dashed strings. Zbl 06982381
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
1
2018
A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238
Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2017
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Lagrangian decomposition via sub-problem search. Zbl 1475.68338
Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J.
2
2016
An abstract domain of uninterpreted functions. Zbl 1475.68086
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2016
On CNF encodings of decision diagrams. Zbl 1475.68331
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
1
2016
Weighted spanning tree constraint with explanations. Zbl 1475.68339
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
1
2016
Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
5
2015
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.
1
2015
Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162
Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter
3
2013
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2013
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
6
2011
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
3
2010
all top 5

Cited by 98 Authors

8 Stuckey, Peter James
6 Gange, Graeme
3 Gallagher, John P.
3 Schachte, Peter
2 Amadini, Roberto
2 Arceri, Vincenzo
2 Arias, Joaquin
2 Carro, Manuel
2 Cortesi, Agostino
2 Hooker, John N. jun.
2 Kafle, Bishoksan
2 King, Andy
2 Lam, Edward
2 Lecoutre, Christophe
2 Likitvivatanavong, Chavalit
2 Søndergaard, Harald
2 Vidal, Germán
2 Yap, Roland H. C.
1 Albert, Elvira
1 Anastacio, Marie
1 Babaki, Behrouz
1 Beck, J. Christopher
1 Bilauca, Mihai
1 Bofill, Miquel
1 Borralleras, Cristina
1 Cassez, Franck
1 Castro, Margarita Paz
1 Chakraborty, Supratik
1 Chawdhary, Aziem
1 Ciré, André Augusto
1 Codish, Michael
1 De Angelis, Emanuele
1 de Uña, Diego
1 Défago, Xavier
1 Delaite, Antoine
1 Desaulniers, Guy
1 Deville, Yves
1 Dietsch, Daniel
1 Doménech, Jesús J.
1 Ferrara, Pietro
1 Fioravanti, Fabio
1 Flener, Pierre
1 Fokkinga, Daniël
1 Genaim, Samir
1 Guldstrand, Larsen Kim
1 Harabor, Daniel Damir
1 Healy, Patrick
1 Heizmann, Matthias
1 Hermenegildo, Manuel V.
1 Hoenicke, Jochen
1 Hoos, Holger H.
1 Howe, Jacob M.
1 Itzhakov, Avraham
1 Jensen, Peter Gjøl
1 John, Ajith K.
1 Karlsson, Emil
1 Klemen, Maximiliano
1 Kučera, Petr
1 Latour, Anna L. D.
1 Le Bodic, Pierre
1 López-García, Pedro
1 Machida, Manao
1 Mairy, Jean-Baptiste
1 Marriott, Kim
1 Martin-Martin, Enrique
1 Mastroeni, Isabella
1 Mesnard, Fred
1 Morales, Jose Francisco
1 Moulder, Peter
1 Navas, Jorge A.
1 Negrini, Luca
1 Nijssen, Siegfried
1 Nutz, Alexander
1 Okumura, Keisuke
1 Olliaro, Martina
1 Palacios, Adrian G.
1 Payet, Étienne
1 Pearson, Justin
1 Perez, Guillaume
1 Pesant, Gilles
1 Pettorossi, Alberto
1 Piechowiak, Sylvain
1 Podelski, Andreas
1 Proietti, Maurizio
1 Régin, Jean-Charles
1 Rönnberg, Elina
1 Rubio, Albert
1 Savický, Petr
1 Schulte, Christian
1 Scott, Joseph D.
1 Simon, Axel
1 Szymanek, Radoslaw
1 Tamura, Yasumasa
1 Van Hentenryck, Pascal
1 van Hoeve, Willem-Jan
1 Vanhoof, Wim
1 Vion, Julien
1 Yernaux, Gonzague

Citations by Year