Login / Signup
Tuomas Laakkonen
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Search Strategy
Np Hard
Expectation Maximization
Recognition Algorithm
Top Venues
CoRR
</>
Publications
</>
Tuomas Laakkonen
,
Konstantinos Meichanetzidis
,
John van de Wetering
Picturing counting reductions with the ZH-calculus.
CoRR
(2023)
Tuomas Laakkonen
,
Konstantinos Meichanetzidis
,
John van de Wetering
A Graphical #SAT Algorithm for Formulae with Small Clause Density.
CoRR
(2022)