Home Services Technologies Company Careers Contact  

Alef®

Alef Parallel SAT Solver

Alef® Parallel SAT Solver

Whitepaper

If you would like to receive the Alef Whitepaper, please submit the following information:

Name:
Company:
E-mail:
Phone:

Executive Summary

Alef parallel SAT solver delivers 2 to 3 orders of magnitude improvement over existing SAT solvers in terms of speed and maximum problem size. The solver does this by exploiting data parallelism present in BCP, algorithmic parallelism of running several searches at the same time, and by distributing the problem instance over HPCS hardware.

If you would like to receive the Alef Whitepaper, please submit the following information:

Name:
Company:
E-mail:
Phone:
Copyright © 1998-2008 Reservoir Labs, Inc.