Charles Explorer logo
🇬🇧

On the size of maximum renamable Horn sub-CNF

Publication at Faculty of Mathematics and Physics |
2005

Abstract

On the size of maximum renamable Horn sub-CNF

Keywords