Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Ondřej Čepek

A decomposition method for CNF minimality proofs

scientific article published in October 2013

A subclass of Horn CNFs optimally compressible in polynomial time

scientific article published in December 2009

Analysing DNA microarray data using Boolean techniques

scientific article published on 24 February 2010

Boolean functions with a simple certificate for CNF complexity

scientific article published in March 2012

Boolean functions with long prime implicants

scientific article published in September 2013

Complexity issues related to propagation completeness

scientific article published in October 2013

Disjoint essential sets of implicates of a CQ Horn function

scientific article published in March 2011

Exclusive and essential sets of implicates of Boolean functions

scientific article published in January 2010

Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing

scientific article published in August 2005

Recognition of interval Boolean functions

scientific article published in January 2008

Paulina is supported by:

About Paulina

Help