@phdthesis{RISC3276,
author = {Gabor Kusper},
title = {{Solving and Simplifying the Propositional Satisfiability Problem by Sub-Model Propagation}},
language = {english},
year = {2005},
translation = {0},
school = {RISC, Johannes Kepler University, Linz, Austria},
length = {136}
}