Results 51 to 60 of about 1,160 (65)
Some of the next articles are maybe not open access.

On conversions from CNF to ANF

Journal of Symbolic Computation, 2020
Martin Kreuzer
exaly  

Generating all permutations by context-free grammars in Chomsky normal form

Theoretical Computer Science, 2006
Peter R J Asveld
exaly  

On converting CNF to DNF

Theoretical Computer Science, 2005
Peter Bro Miltersen, Ingo Wegener
exaly  

Some Preservation Properties of Normal Form Grammars

SIAM Journal on Computing, 1977
David B Benson
exaly  

On the size of maximum renamable Horn sub-CNF

Discrete Applied Mathematics, 2005
Petr Kučera
exaly  

On the tractability of minimal model computation for some CNF theories

Artificial Intelligence, 2014
Fabrizio Angiulli   +2 more
exaly  

An Improved Generator for 3-CNF Formulas

Automation and Remote Control, 2020
exaly  

Normal Forms

1997
Kozen Dexter C
exaly  

Normal Forms

1977
Kozen Dexter C
exaly  

Home - About - Disclaimer - Privacy