← all datasets

weighted MaxSAT benchmarks

Emerging
1papers using it
2025first seen

Weighted MaxSAT benchmarks consist of instances of the weighted maximum satisfiability problem used to evaluate the performance of algorithms in finding optimal solutions, particularly in challenging scenarios.

🔎 Find this dataset

Papers using weighted MaxSAT benchmarks (1)

weighted MaxSAT benchmarks — datasets — graph-learning