We propose two approximation strategies for improving incomplete MaxSAT solving that provide state-of-the-art results on the MaxSAT Evaluation benchmarks.
A MaxSAT solver tailored to the incomplete MaxSAT problem
A highly customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
We propose two approximation strategies for improving incomplete MaxSAT solving that provide state-of-the-art results on the MaxSAT Evaluation benchmarks.
A partial unweighted MaxSAT solver