POS-16 PROGRAM
Monday, July 4th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:30 Session 1: Reception desk
Location: Labri Main Entrance
09:30-10:30 Session 3A: Solvers presentations
- "Beans and Eggs - Proteins for Glucose 3.0" by Markus Iser
- "Splatz" by Armin Biere
- "Sub-Stochastic Monte Carlo (SSMC)" by Brad Lackey, Stephen Jordan, and Michael Jarret
- Tie break by Seongsoo Moon
Location: Auditorium Labri
10:30-11:00Coffee Break
11:00-12:30 Session 4A: Presentations I
Location: Auditorium Labri
| 11:00 | A Study on Implied Constraints in a MaxSAT Approach to B2B Problems ( abstract ) |
| 11:30 | Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions ( abstract ) |
| 12:00 | Approximate History Map for Massively Parallel Environments ( abstract ) |
12:30-14:00Lunch Break
14:00-15:00 Session 5A: Invited Talk
Location: Auditorium Labri
| 14:00 | Lessons learnt -- Seven years of CryptoMiniSat ( abstract ) |
15:00-15:30Coffee Break
15:30-17:00 Session 6A: Presentations II
Location: Auditorium Labri
| 15:30 | Better Evaluations by Analyzing Benchmark Structure ( abstract ) |
| 16:00 | Seeking Practical CDCL Insights from Theoretical SAT Benchmarks ( abstract ) |
| 16:30 | The Clashing-Neighbor Relation for Propositional Formulas ( abstract ) |