On the size of CNF formulas with high propagation strength.

Petr Kucera, Petr Savick

Browse the full ISAIM paper archive.