Certified MaxSAT Preprocessing.
Hannes IhalainenAndy OertelYong Kiam TanJeremias BergMatti JärvisaloJakob NordströmPublished in: CoRR (2024)
Keyphrases
- preprocessing
- preprocessing step
- upper bound
- post processing
- combinatorial optimization
- sat solvers
- branch and bound algorithm
- preprocessing steps
- technical support
- feature extraction
- relational databases
- constraint satisfaction problems
- expert systems
- face recognition
- three dimensional
- artificial intelligence
- preprocessing stage
- databases