Graeme Gange

Available identifiers

zbMath Open gange.graemeDBLP76/3059WikidataQ58906897 ScholiaQ58906897MaRDI QIDQ264987

List of research outcomes

Publication	Date of Publication	Type
Dissecting widening: separating termination from information	2024-04-19	Paper
Transformation-Enabled Precondition Inference	2023-12-12	Paper
Core-guided and core-boosted search for CP	2022-12-21	Paper
Coupling different integer encodings for SAT	2022-08-30	Paper
Fixing the State Budget: Approximation of Regular Languages with Small DFAs	2022-08-12	Paper
Algorithm selection for dynamic symbolic execution: a preliminary study	2022-03-23	Paper
Pairwise symmetry reasoning for multi-agent path finding search	2021-12-13	Paper
Dashed strings for string constraint solving	2021-08-16	Paper
Nutmeg: a MIP and CP hybrid solver using branch-and-check	2021-02-08	Paper
Compiling CP subproblems to MDDs and d-DNNFs	2019-10-25	Paper
Constraint programming for dynamic symbolic execution of JavaScript	2019-10-14	Paper
An iterative approach to precondition inference using constrained Horn clauses	2018-12-04	Paper
Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings	2018-11-21	Paper
Exploiting sparsity in difference-bound matrices	2018-08-27	Paper
Breaking symmetries with lex implications	2018-07-09	Paper
Reference Abstract Domains and Applications to String Analysis	2018-05-03	Paper
A Benders decomposition approach to deciding modular linear integer arithmetic	2017-11-15	Paper
Horn clauses as an intermediate representation for program analysis and transformation	2017-11-09	Paper
Minimizing landscape resistance for habitat conservation	2017-08-04	Paper
On CNF Encodings of Decision Diagrams	2016-06-27	Paper
Lagrangian Decomposition via Sub-problem Search	2016-06-27	Paper
Weighted Spanning Tree Constraint with Explanations	2016-06-27	Paper
A complete refinement procedure for regular separability of context-free languages	2016-04-01	Paper
An Abstract Domain of Uninterpreted Functions	2016-03-23	Paper
Automatic Minimal-Height Table Layout	2015-12-21	Paper
Analyzing Array Manipulating Programs by Program Transformation	2015-10-02	Paper
Failure tabled constraint logic programming by interpolation	2014-02-27	Paper
Unbounded Model-Checking with Interpolation for Regular Language Constraints	2013-08-05	Paper
Solving Difference Constraints over Modular Arithmetic	2013-06-14	Paper
MDD propagators with explanation	2012-06-20	Paper
Optimal k-Level Planarization and Crossing Minimization	2011-02-11	Paper
Fast Set Bounds Propagation Using a BDD-SAT Hybrid	2010-08-06	Paper

Research outcomes over time

This page was built for person: Graeme Gange