Renato Bruni Antonio Sassano A Complete Adaptive Algorithm for Propositional Satisfiability. 523-534 2003 127 Discrete Applied Mathematics 3 http://dx.doi.org/10.1016/S0166-218X(02)00385-2 db/journals/dam/dam127.html#BruniS03