Maximum Satisfiability in Software Analysis: Applications and Techniques
Abstract elided by the publisher.
Related papers
- Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability TACAS 2025
- Query-guided maximum satisfiability POPL 2016
- PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report GPCE 2020
- Cause clue clauses: error localization using maximum satisfiability PLDI 2011
- Class hierarchy complementation: soundly completing a partial type graph OOPSLA 2013
- Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems ICFP 2000
- A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology TOPLAS 1998
- Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation PLDI 2024