BREAKUP

swMATH2078MaRDI QIDQ14622FDOQ14622

Author name not available (Why is that?)

Described by source

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

Cited In (3)

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

This page was built for software: BREAKUP