HTTP/1.1 200 OK Date: Wed, 14 Jan 2026 16:57:57 GMT Server: Apache/2.4.41 (Ubuntu) Expires: Wed, 14 Jan 2026 16:57:57 GMT Connection: close Vary: Accept-Encoding Content-Encoding: gzip Content-Length: 2626 Content-Type: text/html; charset=UTF-8

SAT 2016: 19TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING PROGRAMINDEXES POS-16 | QBF 2016 | STRUCTSAT 2016 | SAT 2016 | SOLVE IT WITH SAT PROGRAM | INDEXES 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 Miquel Bofill, Marc Garcia, Jesús Giráldez-Cru and Mateu Villaret A Study on Implied Constraints in a MaxSAT Approach to B2B Problems ( abstract ) 11:30 Saeed Nejati, Jia Liang, Vijay Ganesh, Catherine Gebotys and Krzysztof Czarnecki Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions ( abstract ) 12:00 Seongsoo Moon and Mary Inaba 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 Mate Soos 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 Norbert Manthey and Sibylle Moehle Better Evaluations by Analyzing Benchmark Structure ( abstract ) 16:00 Jan Elffers, Jakob Nordstrom, Laurent Simon and Karem A. Sakallah Seeking Practical CDCL Insights from Theoretical SAT Benchmarks ( abstract ) 16:30 Allen Van Gelder The Clashing-Neighbor Relation for Propositional Formulas ( abstract ) 19:30-22:00 Session : Welcome reception Chair: Laurent Simon Location: Palais de la bourse Disclaimer | Powered by EasyChair Smart Program