conftrace_

maximal satisfiable subset

2 papers

Explore in graph

Also known as

MSS

Co-occurring keywords · papers mentioning both

enumeration algorithm (2) model rotation (1) projected model counting (1) boolean formula (1) minimal correction subset (1) satisfiability solving (1)

Papers

Counting Maximal Satisfiable Subsets AAAI 2021 Boosting MCSes Enumeration IJCAI 2018