Skip to main content

2 Result(s)

within Theory of Computation Remove this filter Chu-Min Li Remove this filter Chapter 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)

  2. No Access

    Chapter and Conference Paper

    ProQuery: Logical access to an OODB

    Chu Min Li, Paul Y. Gloess in Programming Language Implementation and Logic Programming (1992)