Program of POS

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