SAT 2016: 19TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING

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

D
dependency schemes	Dependency Schemes in QBF Calculi: Semantics and Soundness
F
fixed-parameter tractability	Dynamic Programming-based QBF Solving
G
generalized tic-tac-toe	QBF Encoding of Generalized Tic-Tac-Toe
L
long-distance resolution	Dependency Schemes in QBF Calculi: Semantics and Soundness
P
polyomino	QBF Encoding of Generalized Tic-Tac-Toe
Q
Q-Resolution	Dependency Schemes in QBF Calculi: Semantics and Soundness
QBF calculi	Dependency Schemes in QBF Calculi: Semantics and Soundness
QBF encoding	QBF Encoding of Generalized Tic-Tac-Toe
QBF solver	Dynamic Programming-based QBF Solving
T
tree decomposition	Dynamic Programming-based QBF Solving

Disclaimer | Powered by EasyChair Smart Program