** Starting Fall 2014, I will be joining University of Toronto as an Assistant Professor.
I am currently a Ph.D. candidate in the Operations Research program at Carnegie Mellon University. I am very fortunate to be co-advised by Prof. Willem-Jan van Hoeve and Prof. John Hooker at Tepper School of Business.
My research lies in the broad areas of discrete optimization, scheduling, and in the integration of optimization technologies such as integer programming and constraint programming to tackle practical large-scale problems. In recent years I have been particularly involved in the application of decision diagrams to optimization, a fresh perspective in discrete optimization which brings exciting new challenges and opportunities.
For more information about me, please download my CV.
Also, please check our webpage of Decision Diagrams for Optimization for publications, source code, and benchmark instances.
I can be reached at
Tepper School of Business, Carnegie Mellon University
Forbes Avenue, Pittsburgh, PA, USA
office: Posner Hall A19-C
phone: (+1) 412-268-2463
D. Bergman, A. A. Cire, and W.-J. van Hoeve. MDD Propagation for Sequence Constraints. Journal of Artificial Intelligence, to appear.
D. Bergman, A. A. Cire, W.-J. van Hoeve, and T. Yunes. BDD-Based Heuristics for Binary Optimization. Journal of Heuristics 20(2): 211-234, 2014.
A. A. Cire and W.-J. van Hoeve. Multivalued Decision Diagrams for Sequencing Problems. Operations Research 61(6): 1411-1428, 2013.
D. Bergman, A. A. Cire, W.-J. van Hoeve, and J. N. Hooker. Optimization Bounds from Binary Decision Diagrams. INFORMS Journal on Computing 26(2): 253-268, 2013.
T. Lopes, A. Moura, C. de Souza, and A. A. Cire. Planning the Operation of a Large Real-World Oil Pipeline. Computers & Chemical Engineering 46: 17-28, 2012.
T. Lopes, A. A. Cire, C. de Souza, and A. Moura. A Hybrid Model for a Multiproduct Pipeline Planning and Scheduling Problem. Constraints 15(2): 151-189, 2010.
A. A. Cire, E. Coban, and J. N. Hooker. Mixed Integer Programming vs Logic-based Benders Decomposition for Planning and Scheduling. In CPAIOR’13: Proceedings of the International Conference on Integration of AI and OR Techniques in Constraint Programming, LNCS 7874, pp. 325-331. Springer, 2013.
A. A. Cire and W.-J. van Hoeve. MDD Propagation for Disjunctive Scheduling. In ICAPS’12: Proceedings of the International Conference on Automated Planning and Scheduling, pp. 11-19. AAAI Press, 2012.
D. Bergman, A. A. Cire, W.-J. van Hoeve, and J. N. Hooker. Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. In CPAIOR’12: Proceedings of the International Conference on Integration of AI and OR Techniques in Constraint Programming, LNCS 7298, pp. 34-49. Springer, 2012.
A. A. Cire, E. Coban, and W.-J. van Hoeve. Flow-Based Combinatorial Chance Constraints. In CPAIOR’12: Proceedings of the International Conference on Integration of AI and OR Techniques in Constraint Programming, LNCS 7298, pp. 129-145. Springer, 2012.
A. Botea and A. A. Cire. Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events. In IJCAI’09: Proceedings of the International Joint Conference on Artificial Intelligence, Pasadena, USA, 2009.
T. Lopes, A. A. Cire, C. de Souza, and A. Moura. Planning and Scheduling the Operation of a Very Large Oil Pipeline Network. In CP’08: International Conference on Principles and Practice of Constraint Programming, LNCS 5202, pp. 36-51. Springer, 2008.
A. A. Cire and A. Botea. Learning in Planning with Temporally Extended Goals and Uncontrollable Events. In ECAI’08: Proceedings of the European Conference on Artificial Intelligence, Patras, Greece, 2008.
A. Moura, C. de Souza, A. A. Cire, and T. Lopes. Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem. In CSE’08: 11th IEEE International Conf. on Computational Science and Engineering, pp. 455-462, 2008.
D. Bergman, A. A. Cire, W.-J. van Hoeve, and J. N. Hooker. Discrete Optimization with Decision Diagrams. Under review, 2013.
A. A. Cire and J. N. Hooker. A Heuristic Logic-based Benders Method for the Home Health Care Problem, 2013.
A. A. Cire and J. N. Hooker. Semantic Typing of Variables, 2013.
Back to the top.
Mathematical Models for Consulting
Tepper School of Business course, 70-460, Spring 2013 (Overall Teaching Evaluation: 4/5.0).
This is an undergraduate class offered by the Tepper School of Business, Carnegie Mellon University. The course provides an introduction to optimization methods, particularly focusing on modeling techniques and fundamentals of linear, integer, and constraint programming. Students also implemented their models in a variety of software tools, such as Excel Solver and AIMMS.
- - Optimization and Decision Making (Tepper 45-760), MBA course.
- - Data Mining (Tepper 45-851), MBA course.
- - Applications of Operations Research (Tepper 45-860), MBA course.
- - Operations Research Implementations (Tepper 45-864), MBA course.
- - Linear Programming (Tepper 47-834), PhD course.
Back to the top.
IBM Research, Yorktown Heights, USA, Summer 2013
Internship at the AI for Optimization Group
Project: Parallel methods for optimization
Google, California, USA, July 2012
Project: Disjunctive scheduling for Google OR-Tools
Zuze Institute Berlin (ZIB), Summer 2010
Project: Operational Planning for Home Health Care
NICTA / Australian National University (ANU), Canberra, Australia, Summer 2007
Internship at the Knowledge and Representation Group, NICTA
Project: Model-based Supervision of Composite Systems
Back to the top.