Petr Savický | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Petr Kučera
7 publications

research

∙ 09/04/2023

On the size of irredundant propagation complete CNF formulas

We investigate propagation complete (PC) CNF formulas for a symmetric de...

0 Petr Savický, et al. ∙

research

∙ 01/03/2020

Bounds on the size of PC and URC formulas

In this paper we investigate CNF formulas, for which the unit propagatio...

0 Petr Kučera, et al. ∙

research

∙ 09/14/2019

Propagation complete encodings of smooth DNNF theories

We investigate conjunctive normal form (CNF) encodings of a function rep...

0 Petr Kučera, et al. ∙

research

∙ 11/23/2018

Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings

We describe a compilation language of backdoor decomposable monotone cir...

0 Petr Kučera, et al. ∙