BREAKUP

swMATH2078MaRDI QIDQ14622FDOQ14622

Author name not available (Why is that?)

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)

• Title not available (Why is that?)
• Partition-based logical reasoning for first-order and propositional theories
• SPTHEO
• GETFOL
• Title not available (Why is that?)

This page was built for software: BREAKUP