SAT 2016: 19TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
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

 

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 )
19:30-22:00 Session : Welcome reception
Location: Palais de la bourse