TY  - RPRT
TI  - Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search
AU  - Hui Wang
AU  - Abdallah Saffidine
AU  - Tristan Cazenave
PY  - 2023
UR  - https://arxiv.org/abs/2302.13225
ID  - 2302.13225
ER  -