TY  - GEN 
AU  - García Olmedo, Francisco Miguel
AU  - García Miranda, Jesús
AU  - González Rodelas, Pedro
PY  - 2023
UR  - https://hdl.handle.net/10481/85637
AB  - The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the...
LA  - eng
PB  - MDPI
KW  - CNF
KW  - SAT problem
KW  - Classical logic
KW  - Boolean algebra
KW  - Horn clauses
KW  - Reverse engineering
KW  - Automatic theorems proving
KW  - Algorithm implementation
KW  - Functional programming
KW  - Haskell
TI  - Mathematical Foundation of a Functional Implementation of the CNF Algorithm
DO  - 10.3390/a16100459
ER  -