bm2cnf is a compiler for turning a given CNF merging instance into a query-equivalent CNF formula. Several distance-based merging operators have been implemented, namely those based on the (possibly weighted) drastic distance or Hamming distance between interpretations, and using sum, leximin or leximax as aggregation function.



Any category    Compiler