Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
- python related packages:
pip install -r requirements.txt- C++ related packages. Our algorithm use the CPLEX solver, so we need to install the CPLEX before running the algorithm.
sudo chown -R username /ibm_directory/
the data are available in the data folder.
Please goto the src folder to run the program for our XOR-SMC the two applications.
- shelter design.
- supply chain.
the baselines algorithms are collected in the folder with name baselines.
@inproceedings{DBLP:proceedings/AAAI24/li-xor-smc,
author = {Jinzhao Li and
Nan Jiang and
Yexiang Xue},
title = {Solving Satisfiability Modulo Counting for Symbolic and Statistical
{AI} Integration With Provable Guarantees},
booktitle = {AAAI},
year = {2024}
}