P
Initializing...
CNF evaluation (satisfiesB) is PolyTimeDecidable · Prove2Me