BREAKUP

MaRDI QIDQ14622swMATHFDO

Official website http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndjfl/1093633909&page=record

Described by source

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

Cited in

(5)

• Partition-based logical reasoning for first-order and propositional theories
• SPTHEO
• GETFOL
• scientific article; zbMATH DE number 1759710 (Why is no real title available?)
• scientific article; zbMATH DE number 1759716 (Why is no real title available?)

This page was built for software: BREAKUP