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
Honors/Awards
- IPCO Poster Competition Honorable Mention (2023)
- CPAIOR Best Student Paper (2023)
- National Science Foundation Graduate Research Fellowship (2022)
- Carnegie Mellon University Egon Balas Fellowship (2020)
- JHU Applied Mathematics and Statistics Achievement Award (2017)
- JHU Mathematical Modeling Prize (2016,2017)
- JHU Professor Joel Dean Award for Excellence in Teaching (2016,2017)
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.
Teaching
Service and leadership
- IJOC Reviewer (2023)
- CP Reviewer (2022)
CPAIOR Reviewer (2021)
INFORMS Annual Meeting Session Chair: Decision Diagrams for Optimization (2022,2023)
- Optimizing You Podcast Host (2022-)
- Decision Diagram Journal Club Organizer (2022)
- INFORMS CMU Student Chapter President (2022), VP (2021)
- YinzOR 2022 Co-Chair (2022), Sponsorship Chair (2023)
- OR Seminar Coordinator (2022-)
- SCS Coffee Chats Matching Algorithm Developer (2021)
- ACO/OR Meet-And-Thinks Founder and Organizer (2021)
Undergraduate Student Supervision
- Chongzhi Wang - CMU Math (Summer 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
Column Elimination for Capacitated Vehicle Routing Problems
Talk at CPAIOR, Nice, France
Column Elimination for Large-Scale Integer Programming
Poster at IPCO, Madison, Wisconsin
Work experience
- 2020-2023: Freelancer/Consultant
- LogixHealth
- Frontline
- Upwork.com
- 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)