Search Results for author:
Found 1 papers, 0 papers with code
Diversified Top-k Partial MaxSAT Solving
We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
