Tuomas Laakkonen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Konstantinos Meichanetzidis
15 publications
John van de Wetering
9 publications

research

∙ 04/05/2023

Picturing counting reductions with the ZH-calculus

Counting the solutions to Boolean formulae defines the problem #SAT, whi...

0 Tuomas Laakkonen, et al. ∙

research

∙ 12/15/2022

A Graphical #SAT Algorithm for Formulae with Small Clause Density

We study the counting version of the Boolean satisfiability problem #SAT...

0 Tuomas Laakkonen, et al. ∙