Programming Languages Lunch Colloquia - Marijn Heule/UTCS, "Encoding Applications into SAT (part 1)," PAI 3.14
Type of Talk: Programming Languages Lunch Colloquium
Speaker/Affiliation: Marijn Heule/UTCS
Talk Audience: UTCS Faculty and Grads
Date/Time: 11/19/2012, 12:00 PM to 1:30 PM
Location: PAI 3.14
Talk Title: "Encoding Applications into SAT (part 1)"
Talk Abstract: Part one of a two-part tutorial. A follow-on to Marijn's SAT tutorial in September.
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.
- Awards & Honors
- About Us
- Student Engagement and Support
- Masters Program
- Ph.D. Program
- Financial Information
- Prospective Students
- Incoming Students
- Current Students
- Curricular Practical Training
- Grad Student Talks
- UTCS Direct