Advanced search

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

List of works by Petr Kučera

A decomposition method for CNF minimality proofs

scientific article published in October 2013

A lower bound on CNF encodings of the at-most-one constraint

scientific article published in March 2019

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

Hydras: Complexity on general graphs and a subclass of trees

scientific article published in January 2017

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

scientific article published in August 2005

On the size of maximum renamable Horn sub-CNF

scientific article published in August 2005

Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability

scientific article published in 2019

Propagation complete encodings of smooth DNNF theories

scientific article published in 2022

Recognition of interval Boolean functions

scientific article published in January 2008

Paulina is supported by:

About Paulina

Help