Programming Languages Lunch Colloquia - Marijn Heule/UTCS, "Encoding Applications into SAT (part 2)," PAI 3.14
Type of Talk: Programming Languages Lunch Colloquia
Speaker/Affiliation: Marijn Heule/UTCS
Talk Audience: UTCS Faculty and Grads
Date/Time: 11/26/2012, 12:00 PM to 1:30 PM
Location: PAI 3.14
Talk Title: "Encoding Applications into SAT (part 2)"
Talk Abstract: Part two of a two-part tutorial.
Speaker Bio: Marienus (Marijn) Johannes Hendrikus Heule earned his M.Sc. and Ph.D. degrees from Delft University of Technology. He worked in the Algorithms group with Dr. H. van Maaren as his supervisor. He studied a wide variety of subjects within the field of satisfiability (SAT), which resulted in his thesis. Meanwhile, he kept his focus on solving itself and wrote software dedicated to the SAT problem. His solver march won several awards in various editions of the prestigious SAT competitions.
In addition to his research, Marijn helped set up the Journal on Satisfiability, Boolean Modeling, and Computation (JSAT) and now contributes to this journal as a production editor. Marijn worked as editor of the Handbook on Satisfiability ( IOS Press, eds. Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh).
- About Us
- Awards & Honors
- Undergraduate Program
- About Us
- Student Engagement and Support
- Graduate Program
- Masters Program
- Ph.D. Program
- Financial Information
- Prospective Students
- Incoming Students
- Current Students
- Curricular Practical Training
- Grad Student Talks
- Giving & Collaboration
- UTCS Direct