BREAKUP

swMATH2078MaRDI QIDQ14622

No author found.

Described by source

• BREAKUP: A preprocessing algorithm for satisfiability testing of CNF formulas

Related Items (3)

Partition-based logical reasoning for first-order and propositional theories ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for software: BREAKUP