John Hooker
Carnegie Mellon University(US)
Publications by Year
Research Areas
Constraint Satisfaction and Optimization, Educational Leadership and Practices, Formal Methods in Verification, Diverse Scientific and Economic Studies, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Logic-based Benders decomposition(2003)563 cited
- → Scope for industrial applications of production scheduling models and solution methods(2013)506 cited
- → Testing heuristics: We have it all wrong(1995)427 cited
- → Planning and Scheduling by Logic-Based Benders Decomposition(2007)294 cited
- → Logic‐Based Methods for Optimization(2000)286 cited
- → Needed: An Empirical Science of Algorithms(1994)207 cited
- → Integrated Methods for Optimization(2007)189 cited