Petr Savický | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Petr Kučera
1 publication

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

∙ 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. ∙

Success!

An error occurred