Name: Distributed SAT Competition 2004 Industrial Track Benchmarks
Creator: Zenodo
Published: 2024-06-11 13:58:15
License: 暂无描述

Distributed SAT Competition 2004 Industrial Track Benchmarks

These are the 324 CNF files in DIMACS format from the industrial track of the SAT competition 2004 which were distributed after the competition.

NIAID Data Ecosystem00

Distributed SAT Competition 2005 Industrial Track Benchmarks

These are 176 CNF files in DIMACS format from the industrial track of the SAT competition 2005 which were distributed after the competition. Some benchmarks were only available on webpages of submitt

NIAID Data Ecosystem00

Distributed SAT Competition 2003 Industrial Track Benchmarks

These are the 100 CNF files in DIMACS format from the industrial track of the SAT competition 2003 which were distributed after the competition.

Zenodo2024-06-11 更新00