title: solving satisfiability and implication problems in database systems. authors: s guo , w sun , m weiss. venue: acm trans . database syst .. year: 1996
title: solving propositional satisfiability problems. authors: rg jeroslow , j wang. venue: annals of mathematics and artificial intelligence ,. year: 1990.0