Other formats:
BibTeX
LaTeX
RIS
@misc{893, author = {Boros, E. and Čepek, Ondřej and Kogan, A. and Kučera, Miroslav}, address = {New Brunswick}, language = {eng}, location = {New Brunswick}, publisher = {RUTCOR}, title = {A subclass of Horn CNFs optimally compressible in polynomial time}, year = {2009} }
TY - GEN ID - 893 AU - Boros, E. - Čepek, Ondřej - Kogan, A. - Kučera, Miroslav PY - 2009 TI - A subclass of Horn CNFs optimally compressible in polynomial time PB - RUTCOR CY - New Brunswick ER -
BOROS, E., Ondřej ČEPEK, A. KOGAN and Miroslav KUČERA. \textit{A subclass of Horn CNFs optimally compressible in polynomial time}. New Brunswick: RUTCOR, 2009.
|