Saturday, July 10th
Saturday's program is also available with abstracts and side by side with other events.
09:00‑10:00 Tutorial
Location: IF G.03
| 09:00 | Youssef Hamadi (Microsoft Research) From Parallel SAT to Distributed SAT |
10:30‑12:30 MAXSAT / Generalized-SAT session
Chair: Luca Pulina
Location: IF G.03
| 10:30 | Adrian Kuegel Improved Exact Solver for the Weighted MAX-SAT Problem |
| 11:00 | Carlos Ansótegui, María Luisa Bonet and Jordi Levy On Solving MaxSAT Through SAT |
| 11:30 | Daniel Le Berre and Anne Parrain The SAT4J library 2.2, System Description |
| 12:00 | Mate Soos Enhanced Gaussian Elimination in DPLL-based SAT Solvers |
14:00‑15:00 Tooling and monitoring session
Chair: Armin Biere
Location: IF G.03
| 14:00 | Norbert Manthey and Ari Saptawijaya Towards Improving the Resource Usage of SAT-solvers |
| 14:30 | Adrian Balint, Daniel Gall, Gregor Kapler and Robert Retz Experiment design and administration for computer clusters for SAT-solvers (EDACC) |
15:30‑17:00 QBF session
Chair: Daniel Le Berre
Location: IF G.03
| 15:30 | Florian Lonsing and Armin Biere DepQBF: A Dependency-Aware QBF Solver |
| 16:00 | Luca Pulina and Armando Tacchella AQME'10 System Description |
| 16:30 | Enrico Giunchiglia, Massimo Narizzano and Paolo Marin QuBE7.0, System Description |