Charles Explorer logo
🇨🇿

O velikosti maxima renamable Horn sub-CNF

Publikace na Matematicko-fyzikální fakulta |
2005

Abstrakt

O velikosti maxima renamable Horn sub-CNF

Klíčová slova