SATLIB - The Satisfiability Library
Edit Page
Report
Scan day: 07 February 2014 UTC
22
Virus safety - good
Description: A collection of benchmark problems, solvers, and tools. Provides a uniform test-bed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance.
SATLIB - The Satisfiability Library SATLIB - The Satisfiability Library . The most recent release of SATLIB is Version 1.4.4 of 01/05/11. Currently, SATLIB is available from the the following sites: If you use SATLIB for your research, we ask you to acknowledge it in the respective publications by citing the following article:
Size: 328 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | SATLIB - The Satisfiability Library |
| Keywords: | |
| Description: | |
| IP-address: | 142.103.6.46 |