Search

Your search keyword '"Berg, Jeremias"' showing total 14 results

Search Constraints

Start Over You searched for: Author "Berg, Jeremias" Remove constraint Author: "Berg, Jeremias" Publication Type eBooks Remove constraint Publication Type: eBooks
14 results on '"Berg, Jeremias"'

Search Results

1. Certified MaxSAT Preprocessing

2. Core Boosting in SAT-Based Multi-objective Optimization

3. Certified Core-Guided MaxSAT Solving

4. Computing Smallest MUSes of Quantified Boolean Formulas

5. Clause Redundancy and Preprocessing in Maximum Satisfiability

6. Core-Guided and Core-Boosted Search for CP

7. Abstract Cores in Implicit Hitting Set MaxSat Solving

8. Unifying Reasoning and Core-Guided Search for Maximum Satisfiability

9. Core-Boosted Linear Search for Incomplete MaxSAT

10. MaxPre: An Extended MaxSAT Preprocessor

11. Weight-Aware Core Extraction in SAT-Based MaxSAT Solving

12. Minimum-Width Confidence Bands via Constraint Optimization

13. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving

14. LMHS: A SAT-IP Hybrid MaxSAT Solver

Catalog

Books, media, physical & digital resources