Skip to content
No description, website, or topics provided.
Python Shell TeX
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Benchmarks
output
results
scripts
.gitignore
README.md
appendix.pdf
default.sh
todo.sh

README.md

Dependencies

  1. Install Open-WBO. After the installation is complete, add the path of the binary in the PATH variable.

  2. Install CPLEX and set python API of CPLEX.

  3. Python libraries: pandas, numpy, sklearn, pickle, Orange, Pulp.

  4. Install weka and add the path of weka.jar in the path variable.

To process data

  1. Go to scripts/ and run python data_ready.py.

To reproduce result

  1. Run bash todo.sh from the root directory.

  2. To view the result, go to output/ and run python for_latex_table.py.

View reported results in the paper

  1. To view the reported results in the submitted paper, go to output/ and run python for_latex_table.py.

Additional materials

  1. appendix.pdf contains the proof of succinctness of relaxed-CNF

  2. results/rules.txt contains all the generated rules by IRR and inc-IRR.

  3. results/figures/ contains all the graphs of effect of individual parameters.

You can’t perform that action at this time.