| ||||
| ||||
![]() Title:On Dual-Rail Based MaxSAT Solving Conference:PC 2018 Tags:dual-rail encoding, MaxSAT resolution, MaxSAT solving, polynomial simulation and polynomial upper bounds Abstract: This work overviews recent results on the dual-rail based MaxSAT solving, including polynomial upper bounds on the refutation of PHP and 2PHP formulae with core-guided MaxSAT solvers and MaxSAT resolution as well as their relative efficiency compared to general resolution and cutting planes. On Dual-Rail Based MaxSAT Solving ![]() On Dual-Rail Based MaxSAT Solving | ||||
Copyright © 2002 – 2025 EasyChair |