On Preprocessing for Weighted MaxSAT
Abstract elided by the publisher.
Related papers
- On Optimization Modulo Theories, MaxSMT and Sorting Networks TACAS 2017
- Query-guided maximum satisfiability POPL 2016
- Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability TACAS 2025
- SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques PLDI 2024
- Preprocessing Eden with Template Haskell GPCE 2005
- A Gröbner Basis Approach to CNF-Formulae Preprocessing TACAS 2007
- Formula Preprocessing in MUS Extraction TACAS 2013
- Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors CC 2007