SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING

A
Anil, Shukla	Feasible Interpolation for QBF Resolution Calculi
B
Balabanov, Valeriy	Skolem functions computation for CEGAR based QBF solvers Reducing Satisfiability and Reachability to DQBF
Beyersdorff, Olaf	Feasible Interpolation for QBF Resolution Calculi
C
Chew, Leroy	Feasible Interpolation for QBF Resolution Calculi
J
Jiang, Jie-Hong Roland	Skolem functions computation for CEGAR based QBF solvers Reducing Satisfiability and Reachability to DQBF
L
Lonsing And Seidl,	Discussion
M
Mahajan, Meena	Feasible Interpolation for QBF Resolution Calculi
S
Scholl, Christoph	Skolem functions computation for CEGAR based QBF solvers
Slivovsky, Friedrich	Dependency Schemes for Quantified Boolean Formulas

Disclaimer | Powered by EasyChair Smart Program