"Mathematical Foundation of a Functional Implementation of the CNF Algorithm."

Francisco Miguel García-Olmedo, Jesús García-Miranda, Pedro González-Rodelas (2023)

Details and statistics

DOI: 10.3390/A16100459

access: open

type: Journal Article

metadata version: 2024-02-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics