This repository contains the code to the (Max)SAT algorithms improved by FPS, including MaxFPS, BandMaxSAT-FPS, CCEHC-FPS, Dist-FPS, and CCAnr-FPS, proposed in our paper:
Farsighted Probabilistic Sampling: A General Strategy for Boosting MaxSAT Local Search Solvers
Jiongzhi Zheng, Kun He, Jianrong Zhou
The cut-off time for each (W)PMS (resp. SAT) algorithm is set to 300 (resp. 3600) seconds.
The random seed for each algorithm is set to 1 by default.
The parameters of these algorithms are their default settings.
To run MaxFPS, you need to execute the following commands on a Unix/Linux machine:
cd MaxFPS
make
./MaxFPS *.wcnf
The algorithms Dist-FPS and BandMaxSAT-FPS can be run in the same way.
To run CCEHC-FPS, you need to execute the following commands on a Unix/Linux machine:
cd CCEHC-FPS
make
./CCEHC-FPS -inst *.wcnf -seed 1 -t 300 -p 0.2 -sp 0.0001
To run CCAnr-FPS, you need to execute the following commands on a Unix/Linux machine:
cd CCAnr-FPS
make
./CCAnr-FPS -inst *.cnf
Questions and suggestions can be sent to jzzheng@hust.edu.cn.
If you find this code useful, please consider citing the original work by authors:
@article{zheng2022FPS,
author = {Jiongzhi Zheng and
Jianrong Zhou and
Kun He},
title = {Farsighted Probabilistic Sampling based Local Search for (Weighted)
Partial MaxSAT},
journal = {CoRR},
volume = {abs/2108.09988},
year = {2021},
url = {https://arxiv.org/abs/2108.09988}
}