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