Improvements to Propositional Satifiabi/ity Search Algorithms (1995)

by J W Freeman