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

This page contains an index consisting of author-provided keywords.

C
CEGAR	Skolem functions computation for CEGAR based QBF solvers
certificate	Skolem functions computation for CEGAR based QBF solvers
D
Dependency QBF	Reducing Satisfiability and Reachability to DQBF
directed reachability	Reducing Satisfiability and Reachability to DQBF
I
interpolation	Feasible Interpolation for QBF Resolution Calculi
L
lower bounds	Feasible Interpolation for QBF Resolution Calculi
M
model checking	Reducing Satisfiability and Reachability to DQBF
Q
Q-Resolution	Feasible Interpolation for QBF Resolution Calculi
QBF	Skolem functions computation for CEGAR based QBF solvers
QBF proof complexity	Feasible Interpolation for QBF Resolution Calculi
quantifier	Skolem functions computation for CEGAR based QBF solvers
S
SAT	Reducing Satisfiability and Reachability to DQBF
Satisfiability	Reducing Satisfiability and Reachability to DQBF
Skolem functions	Skolem functions computation for CEGAR based QBF solvers

Disclaimer | Powered by EasyChair Smart Program