To my best knowledge, these are the sound and complete algorithms for boolean satisfiabilityVariations of DPLL algorithm (e.g. CDCL, Look-ahead solvers)Stalmarks methodBinary Decision Diagram (BDD)I am looking for other sound and complete algorithms for boolean satisfiability?
Sound and complete algorithms for boolean satifiability
satisfiability;3 sat;sat solvers