research
∙
03/05/2020
Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems
MaxSAT is a very popular language for discrete optimization with many do...
research
∙
01/16/2014