Variable Ordering for Decision Diagrams: A Portfolio Approach
Karahalios and van-Hoeve (2022). "Variable Ordering for Decision Diagrams." Constraints 2022.
CV
Education
- Pursuing a Ph.D in Operations Research / ACO, Carnegie Mellon University, 2025 (expected)
- M.S. in Algorithms, Combinatorics, and Optimization (ACO), Carnegie Mellon University, 2022
- B.S. in Applied Mathematics and Statistics, Johns Hopkins University, 2017
Work experience
- 2020-2021: Freelancer
- Upwork.com
- Projects: Scheduling courses at a university, scheduling large projects for construction companies
- 2017-2020: Quantitative Developer
- Marshall Wace Asset Management
- Projects: Custodian Optimizer, Locate Optimizer, Trade Condition Codes
- Supervisor: Nick Nielsen and Jacob Cotton
Skills
- Coding (C++/Python/MATLAB/R/Julia, Linux)
- Optimization Software (Gurobi/Mosek/CPLEX/PuLP)
Publications
From Cliques to Colorings and Back Again
Heule, Marijn JH, Anthony Karahalios, and Willem-Jan van Hoeve (2022). "From Cliques to Colorings and Back Again." Constraints 2022.
Column Elimination for Capacitated Vehicle Routing Problems
A. Karahalios, and W.-J. van Hoeve. "Column Elimination for Capacitated Vehicle Routing Problems" CPAIOR 2023.
Talks
Variable Ordering for Decision Diagrams: A Portfolio Approach
Talk at CPAIOR, Virtual
Graph Coloring With Decision Diagrams: An Analysis Of Variable Ordering
Talk at INFORMS Annual Conference, Anaheim, CA
Graph Coloring using Decision Diagrams with Zykov Branching
Talk at INFORMS Computing Society Conference, Tampa Bay, FL
From Cliques to Colorings and Back Again
Talk at Constraint Programming Conference, Haifa, Israel
Comparing Column Elimination and Column Generation
Talk at INFORMS Annual Conference, Indiannapolis, IN
Teaching
Service and leadership
- 2021: INFORMS CMU Student Chapter Vice President
- 2021: SCS Coffee Chats Team
2021: ACO/OR Meet-And-Thinks Founder and Organizer
- 2022: Optimizing You Podcast Host
- 2022: Decision Diagram Journal Club Organizer
- 2022: INFORMS CMU Student Chapter President
- 2022: YinzOR 2022 Co-Chair
- 2022: INFORMS Annual Meeting Session Chair: Decision Diagrams for Optimization
- 2022: OR Seminar Coordinator