SOLVE IT WITH SAT PROGRAM
Saturday, July 9th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-11:00 Session 30: Core SAT solving
Location: Room 178
| 09:00 | Translating problems into SAT ( abstract ) |
| 10:00 | Proofs of Unsatisfiability ( abstract ) |
11:00-11:30Coffee Break
11:30-12:30 Session 31: SAT-based problem solving
Location: Room 178
| 11:30 | Efficient Problem Solving with SAT Engines ( abstract ) |
12:30-14:00Lunch Break
14:00-15:00 Session 32: SMT solving
Location: Room 178
| 14:00 | Some simple useful theories to solve your problems with SMT ( abstract ) |
15:00-15:30Coffee Break
15:30-16:30 Session 33: Tuning solvers
Location: Room 178
| 15:30 | Automatic solver configuration using SMAC ( abstract ) |
16:30-17:30 Session 34: Questions and Answers
Location: Room 178