Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers

23 August 2021

Papers citing "Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers"

2 / 2 papers shown

Title
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis Furong Ye Chuan Luo Shaowei Cai 26 1 0 11 Mar 2024
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers Jiongzhi Zheng Zhuo Chen Chu Min Li Kun He 18 0 0 19 Jan 2024