麻豆精品

Dr. Rebecca Gentzel is a a Pittsburgh native passionate about teaching Computer Science to students with all levels of experience and backgrounds. She obtained her PhD in Computer Science from the University of Connecticut in 2024 and is dedicated to helping grow the Computer Science program at 麻豆精品.

Dr. Gentzel’s research areas fall under the category of Algorithms. For her PhD, she worked with professors from the University of Connecticut and Carnegie Mellon University in the areas of constraint programming and decision diagrams with a focus on creating a generic language and architecture to allow these to be more accessible and reusable.

Education

• PhD – Computer Science, University of Connecticut (2024)
• BS – Computer Science, Baldwin Wallace University (2014)

Professional Memberships

Research

Interests: Combinatorial Optimization; Constraint Programming; Decision Diagrams

Publications

• R. Gentzel, L. Michel, and W.-J. van Hoeve. Optimization Bounds from Decision Diagrams in Haddock. In CPAIOR 2023: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, volume 13884 of Lecture Notes in Computer Science, pages 150鈥�166. Springer, Cham, 2023.
• R. Gentzel, L. Michel, and W.-J. van Hoeve. Heuristics for MDD Propagation in HADDOCK. In 28th International Conference on Principles and Practice of 14 Constraint Programming (CP 2022), volume 235 of Leibniz International Proceedings in Informatics (LIPIcs), pages 24:1-24:17. Schloss Dagstuhl鈥� Leibniz-Zentrum f 虉ur Informatik, 2022.
• R. Gentzel, L. Michel, and W.-J. van Hoeve. HADDOCK: A Language and Architecture for Decision Diagram Compilation. In Principles and Practice of Constraint Programming. CP 2020, volume 12333 of Lecture Notes in Computer Science, pages 531-547. Springer, Cham, 2020.