Searched refs:CNFQ (Results 1 – 1 of 1) sorted by relevance
2041 CNFFormula CNFQ = CNF(*Q); in Subsumes() local2042 return Subsumes(DNFP, CNFQ); in Subsumes()