On reordering conjunctions of literals; a simple, fast algorithmPcter B. Sheridan1991SAC 1991Conference paper