Skip to main content

1 Result(s)

within Chapter Remove this filter Chu-Min Li Remove this filter Computer Systems Organization and Communication Networks Remove this filter Theory of Computation Remove this filter

and

  1. No Access

    Chapter

    Inference in MaxSAT and MinSAT

    Logical calculi applied to solve SAT are unsound for MaxSAT and MinSAT because they preserve satisfiability but not the minimum and the maximum number of unsatisfied clauses, respectively. This paper overviews...

    Chu Min Li, Felip Manyà in The Logic of Software. A Tasting Menu of Formal Methods (2022)