Manthey, Norbert2018-01-082018-01-0820162016https://dl.gi.de/handle/20.500.12116/11548Formula rewritingFormula simplificationParallel searchSAT solvingTowards Next Generation Sequential and Parallel SAT SolversText/Journal Article1610-1987