View source
paper_SAT16
  • Contributors
    1. Loading...
Author Commit Message Date Builds
79 commits behind master.
JoD
added experimental conclusions and paper final version
JoD
added new experimental results
JoD
added results on symchaff instances (some are still running because pinacs)
JoD
results of full clausal encoding
JoD
fix full clause encoding
JoD
Added option to add relaxed clauses