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
Dependency Schemes for Quantified Boolean Formulas ( abstract )
10:00-10:30Coffee Break
10:30-12:00 Session 17C: Contributed Presentations
10:30
Feasible Interpolation for QBF Resolution Calculi ( abstract )
10:55
Skolem functions computation for CEGAR based QBF solvers ( abstract )
11:20
Reducing Satisfiability and Reachability to DQBF ( abstract )
11:45
Discussion ( abstract )
12:00-14:00Lunch Break
15:00-15:30Coffee Break