Andrea Calì | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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