A subclass of Horn CNFs optimally compressible in polynomial time

@proceedings{894,
   author = {Čepek, Ondřej},
   booktitle = {ECCO XXII},
   language = {eng},
   title = {A subclass of Horn CNFs optimally compressible in polynomial time},
   year = {2009}
}

TY  - CONF
ID  - 894
AU  - Čepek, Ondřej
PY  - 2009
TI  - A subclass of Horn CNFs optimally compressible in polynomial time
ER  - 

ČEPEK, Ondřej. A subclass of Horn CNFs optimally compressible in polynomial time. In \textit{ECCO XXII}. 2009.