Andrea Calì | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Igor Razgon
16 publications
Florent Capelli
12 publications

research

∙ 05/26/2019

Regular resolution for CNF of bounded incidence treewidth with few long clauses

We demonstrate that Regular Resolution is FPT for two restricted familie...

0 Andrea Calì, et al. ∙

research

∙ 08/25/2017

Non-FPT lower bounds for structural restrictions of decision DNNF

We give a non-FPT lower bound on the size of structured decision DNNF an...

0 Andrea Calì, et al. ∙