Experimental Repository for "Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search"

# Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search Experimental repository. Directory structure: - binary: contains the statically compiled RoundingSat binary used for the experiments.<br> - data: contains raw .csv data files of the experiments.<br> - plots: contains the plots in the paper, as well as additional ones.# 学习松弛：将0-1整数线性规划（0-1 Integer Linear Programming）与伪布尔冲突驱动搜索（Pseudo-Boolean Conflict-Driven Search）相结合 实验仓库。目录结构： - binary：存放本次实验所用的静态编译版RoundingSat二进制程序 - data：存放实验的原始.csv格式数据文件 - plots：存放论文中所用的图表及额外补充图表