research
∙
05/17/2023
Function synthesis for maximizing model counting
Given a boolean formula Φ(X, Y, Z), the Max#SAT problem asks for finding...
share
research
∙
11/02/2022
BAXMC: a CEGAR approach to Max#SAT
Max#SAT is an important problem with multiple applications in security a...
research
∙
09/20/2019
