Download Decomposition-SAT from Official Microsoft Download Center

A display of the new Surface Pro X.

New Surface Pro X

Ultra-thin and always connected

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.