The new Surface Pro
The most versatile laptop
SHOP NOW
Introducing Surface Laptop
Performance made personal
SHOP NOW

Decomposition-SAT

Language:

English

Download

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.

Details
Version:
1.0
File Name:
DeSAT.zip
Date Published:
5/11/2016
File Size:
152 KB

A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.
System Requirements
Supported Operating System
Windows 10 , Windows 7, Windows 8

Windows 7, Windows 8, or Windows 10
Install Instructions
Click Download and follow the instructions.

The new Surface Pro

Introducing Surface Laptop

Decomposition-SAT