Maximum 2-Satisfiability
Emerging2papers using it
2023first seen
Maximum 2-Satisfiability is a benchmark dataset that consists of instances of the 2-SAT problem, used to evaluate the effectiveness of quantum algorithms in solving combinatorial optimization challenges.