Metadata
Author: WikiMatrix
Data
English[en]
Typical problems in this case involve formulas in "3CNF": conjunctive normal form with no more than three variables per conjunct.
Spanish[es]
Los problemas típicos en este caso involucran fórmulas en "3FNC": La forma normal conjuntiva con no más de tres variables por conjunción.