jair-submission
Pre-release
Pre-release
·
16 commits
to aij-check-explorer
since this release
All the benchmarks, all the scripts for running the experiments, for extracting the results, create the plots, and all the results or the paper are available in the folder etc/AIJ-SAT-explorer. Please read the file README.txt for all the details.