Clause Redundancy and Preprocessing in Maximum Satisfiability
Authors: Hannes Ihalainen, Jeremias Berg and Matti Järvisalo
Paper Information
| Title: | Clause Redundancy and Preprocessing in Maximum Satisfiability |
| Authors: | Hannes Ihalainen, Jeremias Berg and Matti Järvisalo |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | maximum satisfiability, MaxSAT, clause redundancy, propagation redundancy, preprocessing |
| Pages: | 20 |
| Talk: | Aug 08 16:40 (Session 98D: Preprocessing and Simplification) |
| Paper: |  |