SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
QBF 2015 PROGRAM
Wednesday, September 23rd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:00 Session 15C: Invited Talk
09:00
Friedrich Slivovsky
Dependency Schemes for Quantified Boolean Formulas ( abstract )
10:00-10:30Coffee Break
10:30-12:00 Session 17C: Contributed Presentations
10:30
Olaf Beyersdorff, Leroy Chew, Meena Mahajan and Shukla Anil
Feasible Interpolation for QBF Resolution Calculi ( abstract )
10:55
Valeriy Balabanov, Jie-Hong Roland Jiang and Christoph Scholl
Skolem functions computation for CEGAR based QBF solvers ( abstract )
11:20
Valeriy Balabanov and Jie-Hong Roland Jiang
Reducing Satisfiability and Reachability to DQBF ( abstract )
11:45
Lonsing And Seidl
Discussion ( abstract )
12:00-14:00Lunch Break
15:00-15:30Coffee Break