Research on Abstraction-Based Search Space Partitioning and Solving Satisfiability Problems by Yuexin Huang, Qinzhou Niu, Yanfang Song

Subjects: “…SAT problem…”
Get full text

Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram by P. N. Bibilo

Subjects: Get full text