VSL 2014: VIENNA SUMMER OF LOGIC 2014

POS ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
09:00-09:15 Opening
09:15-09:45
Dolius: A Distributed Parallel SAT Solving Framework
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
09:45-10:15
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Marijn Heule, Norbert Manthey, Tobias Philipp
10:45-11:15
Post Mortem Analysis of SAT Solver Proofs
Laurent Simon
11:15-11:45
Formula partitioning revisited
Zoltan Mann, Pal Papp
11:45-12:15
New CNF Features and Formula Classification
Norbert Manthey, Enrique Alfonso
12:15-12:45
Typical-case complexity and the SAT competitions
Zoltan Mann
14:30-15:30
Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver
Armin Biere
15:30-16:00
Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
Norbert Manthey, Peter Steinke, Steffen Hölldobler, Tobias Philipp
16:30-17:00
iDQ: Instantiation-Based DQBF Solving
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
17:00-17:30
Instance-based Selection of CSP Solvers using Short Training
Mirko Stojadinovic, Filip Maric
17:30-18:00
Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle
T. Soh, D. Le Berre, S. Roussel, M. Banbara, N. Tamura
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program