Download Decomposition-SAT from Official Microsoft Download Center

The Surface family of devices

Surface devices

Original by design

Person using Power BI Desktop

Power BI

Transform data into actionable insights with dashboards and reports

Decomposition-SAT

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:
English
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation. Last published: April 23, 2014.