×

zbMATH — the first resource for mathematics

Gange, Graeme

Compute Distance To:
Author ID: gange.graeme Recent zbMATH articles by "Gange, Graeme"
Published as: Gange, G.; Gange, Graeme
External Links: ORCID
Documents Indexed: 23 Publications since 2010

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 25 times in 24 Documents Cited by Year
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.
4
2015
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
4
2011
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
3
2010
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.
2
2018
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2013
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
2
2013
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
Weighted spanning tree constraint with explanations. Zbl 06598659
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
1
2016
Lagrangian decomposition via sub-problem search. Zbl 06598657
Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J.
1
2016
On CNF encodings of decision diagrams. Zbl 06598652
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
1
2016
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.
1
2015
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
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.
2
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
Weighted spanning tree constraint with explanations. Zbl 06598659
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
1
2016
Lagrangian decomposition via sub-problem search. Zbl 06598657
Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J.
1
2016
On CNF encodings of decision diagrams. Zbl 06598652
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; 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.
4
2015
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.
1
2015
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2013
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
2
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
4
2011
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
3
2010

Citations by Year