Maximum satisfiability in software analysis: applications and techniques
From MaRDI portal
Publication:2151235
DOI10.1007/978-3-319-63387-9_4zbMath1494.68062OpenAlexW2736255687MaRDI QIDQ2151235
Xin Zhang, Radu Grigore, Mayur Naik, Xujie Si
Publication date: 1 July 2022
Full work available at URL: https://kar.kent.ac.uk/63671/1/si2017.pdf
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Revisiting maximum satisfiability and related problems in data streams ⋮ Revisiting maximum satisfiability and related problems in data streams ⋮ Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT
This page was built for publication: Maximum satisfiability in software analysis: applications and techniques
