Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability | IEEE Conference Publication | IEEE Xplore