Program for Friday, July 8th: Talk View

PROGRAM FOR FRIDAY, JULY 8TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

SAT 2016

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

09:00-09:15

Presentation of the company Mindi

Ilia Zintchenko

09:15-10:00

Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer

Marijn Heule, Oliver Kullmann, Victor Marek

10:00-10:30

Computing Maximum Unavoidable Subgraphs using SAT Solvers

Cuong Chau, Marijn Heule

11:00-11:20

BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies

M.F. Arif, C. Mencia, A. Ignatiev, N. Manthey, R. Penaloza, J. Marques-Silva

11:20-11:40

OpenSMT2: An SMT Solver for Multi-Core and Cloud Computing

Antti Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina

11:40-12:00

HordeQBF: A Modular and Massively Parallel QBF Solver

Tomas Balyo, Florian Lonsing

12:00-12:20

LMHS: A SAT-IP Hybrid MaxSAT Solver

Paul Saikko, Jeremias Berg, Matti Järvisalo

12:20-12:40

SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers

Norbert Manthey, Marius Lindauer

14:00-14:30

Deciding Bit-Vector Formulas with mcSAT

Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Ruemmer

14:30-15:00

Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams

Martin Jonas, Jan Strejcek

15:30-16:30 Competitive events panel

16:30-17:00 Conference ending

10:30-11:00 Coffee Break

12:40-14:00 Lunch Break

15:00-15:30 Coffee Break