Graeme Gange

Available identifiers

zbMath Open gange.graemeWikidataQ58906897 ScholiaQ58906897MaRDI QIDQ264987

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Graeme Gange