DMCA
On SAT Instance Classes and a Method for Reliable Performance Experiments with SAT Solvers
Cached
Download Links
- [jupiter3.csc.ncsu.edu]
- [people.engr.ncsu.edu]
- DBLP
Other Repositories/Bibliography
by
Franc Brglez
,
Xiao Yu Li
,
Matthias F. Stallmann
Venue: | Annals of Mathematics and Artificial Intelligence |
Citations: | 18 - 10 self |