SAT-based Preprocessing for MaxSAT (extended version)

Add code
Oct 16, 2013
Figure 1 for SAT-based Preprocessing for MaxSAT (extended version)
Figure 2 for SAT-based Preprocessing for MaxSAT (extended version)
Figure 3 for SAT-based Preprocessing for MaxSAT (extended version)

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: