24 results on '"Berg, Jeremias"'
Search Results
2. Oracle-Based Local Search for Pseudo-Boolean Optimization
3. Certified Core-Guided MaxSAT Solving
4. Clause Redundancy and Preprocessing in Maximum Satisfiability
5. Computing Smallest MUSes of Quantified Boolean Formulas
6. Unifying Core-Guided and Implicit Hitting Set Based Optimization
7. Abstract Cores in Implicit Hitting Set MaxSat Solving
8. Core-Guided and Core-Boosted Search for CP
9. Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
10. Core-Boosted Linear Search for Incomplete MaxSAT
11. MaxPre: An Extended MaxSAT Preprocessor
12. Minimum-Width Confidence Bands via Constraint Optimization
13. Weight-Aware Core Extraction in SAT-Based MaxSAT Solving
14. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving
15. LMHS: A SAT-IP Hybrid MaxSAT Solver
16. Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)
17. Enumerating Potential Maximal Cliques via SAT and ASP
18. Solving Graph Problems via Potential Maximal Cliques
19. Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability
20. Re-using Auxiliary Variables for MaxSAT Preprocessing
21. SAT-Based Approaches to Treewidth Computation: An Evaluation
22. Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
23. Optimal Correlation Clustering via MaxSAT
24. Applications of MaxSAT in Data Analysis
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.