Find out more about Graeme Gange's experience
Graeme Gange's highlights
Graeme Gange's selected work
The Argmax Constraint
Conference Proceedings
Dashed Strings and the Replace(-all) Constraint
Conference Proceedings
String constraint solving: past, present and future
Conference Proceedings
Dissecting widening: Separating termination from information
Conference Proceedings
Compiling CP subproblems to MDDs and d-DNNFs
Journal article
An iterative approach to precondition inference using constrained Horn clauses
Journal article
Graeme Gange's selected work
Scholarly Works
Displaying the 10 most recent scholarly works by Graeme Gange.
Keyword Analysis
Credentials
Positions
Honorary
Computing and Information Systems
Education
BACHELOR OF ENGINEERING (COMPUTER SCIENCE) WITH HONOURS
University of Melbourne
BACHELOR OF SCIENCE (COMP SCI)
University of Melbourne