John Hooker
- Logic-based Benders decomposition
2003/04/01 by J.N. Hooker, John Hooker, G. Ottosson +1 · 13 citations
Computer Science · #Constraint Satisfaction and Optimization #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning
- Planning and Scheduling by Logic-Based Benders Decomposition
2007/06/01 by John Hooker, J. N. Hooker · 4 citations
Computer Science · Engineering · #Constraint Satisfaction and Optimization #Formal Methods in Verification #Scheduling and Optimization Algorithms
- Scope for industrial applications of production scheduling models and solution methods
2013/12/12 by Iiro Harjunkoski, Christos T. Maravelias, Peter Bongers +9 · 3 citations
Engineering · #Process Optimization and Integration #Scheduling and Optimization Algorithms #Advanced Control Systems Optimization
- VisAnatomy: An SVG Chart Corpus with Fine-Grained Semantic Labels
2024/10/16 by Chen Chen, Hannah K. Bako, Chen, Chen +22 · 2 citations
Computer Science · #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Natural Language Processing Techniques
- Optimal Combinatorial Testing with Constraints: The Balancing Act
2026/07/19 by Thiago Serra, Changkun Guan, Hunter Gehman +4 · 1 voice
#math.OC