QBF Resolution Systems and Their Proof Complexities
An Extensible SAT-solver