jair-release-v1.0

The revision corresponding to the second submission to JAIR journal.

jair-submission

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.