Concepedia

Geoffrey Chu

GC

8

Publications

134

Citations

8

H-Index

2009

Active since

Affiliations

The University of Melbourne(Current)

Data61

Monash University

Geoffrey Chu is an author at The University of Melbourne specializing in engineering, computer science, and mathematical programming.

Top concepts

EngineeringComputer ScienceAutomated ReasoningMathematical ProgrammingFormal MethodsFormal VerificationCombinatorial OptimizationMechanism DesignComputational ComplexityOperations Research

Publications per year

2009–2015

8

Publications

8

Solving Talent Scheduling with Dynamic Programming

María García de la Banda, Peter J. Stuckey, Geoffrey Chu · INFORMS journal on computing · 2010 · 37 citations

Mathematical Programming, Artificial Intelligence, Engineering +16

Cache Conscious Data Structures for Boolean Satisfiability Solvers

Geoffrey Chu, Aaron Harwood, Peter J. Stuckey · Journal on Satisfiability Boolean Modeling and Computation · 2009 · 17 citations · Full text

Engineering, Algorithmic Library, Verification +18

Stable model semantics for founded bounds

Rehan Aziz, Geoffrey Chu, Peter J. Stuckey · Theory and Practice of Logic Programming · 2013 · 16 citations

Artificial Intelligence, Mathematical Programming, Engineering +17

Dominance breaking constraints

Geoffrey Chu, Peter J. Stuckey · Constraints · 2014 · 15 citations · Full text

Mathematical Programming, Engineering, Game Theory +16

Stable Model Counting and Its Application in Probabilistic Logic Programming

Rehan Aziz, Geoffrey Chu, Christian Muise et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 14 citations · Full text

Rows per page

1–5 of 8