Symbolic techniques in satisfiability solving
scientific article; zbMATH DE number 5118125
scientific article
Theory and Applications of Satisfiability Testing