Certified MaxSAT Preprocessing.
Hannes IhalainenAndy OertelYong Kiam TanJeremias BergMatti JärvisaloMagnus O. MyreenJakob NordströmPublished in: IJCAR (1) (2024)
Keyphrases
- preprocessing
- upper bound
- post processing
- sat solvers
- preprocessing step
- branch and bound algorithm
- feature extraction
- preprocessing phase
- combinatorial optimization
- preprocessing steps
- technical support
- special case
- maximum satisfiability
- artificial intelligence
- sat problem
- multiresolution
- objective function
- three dimensional