Searched refs:DNFP (Results 1 – 1 of 1) sorted by relevance
2040 DNFFormula DNFP = DNF(*P); in Subsumes() local2042 return Subsumes(DNFP, CNFQ); in Subsumes()