On Dual-Rail Based MaxSAT Solving
Authors: Maria Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva and Antonio Morgado
Paper Information
| Title: | On Dual-Rail Based MaxSAT Solving |
| Authors: | Maria Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva and Antonio Morgado |
| Proceedings: | PC Abstracts |
| Editors: | Jan Johannsen and Olaf Beyersdorff |
| Keywords: | MaxSAT solving, MaxSAT resolution, dual-rail encoding, polynomial simulation, polynomial upper bounds |
| Abstract: | 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. |
| Pages: | 2 |
| Talk: | Jul 08 17:30 (Session 42N) |
| Paper: |  |