Denis Ponomaryov

Available identifiers

zbMath Open ponomaryov.denis-kMaRDI QIDQ630292

List of research outcomes

Publication	Date of Publication	Type
The complexity of AND-decomposition of Boolean functions	2020-05-18	Paper
On a polytime factorization algorithm for multilinear polynomials over \(\mathbb{F}_2\)	2018-10-23	Paper
Progression of decomposed local-effect action theories	2017-07-13	Paper
Component properties of forgetting and progression in the situation calculus	2017-04-26	Paper
Algorithmic issues of AND-decomposition of Boolean formulas	2016-06-27	Paper
Probabilistic concepts in formal contexts	2015-12-07	Paper
On tractability of disjoint AND-decomposition of Boolean formulas	2015-12-03	Paper
Probabilistic generalization of formal concepts	2012-11-16	Paper
On decomposability in logical calculi	2012-05-11	Paper
Generalized decomposability notions for first-order theories	2012-05-11	Paper
On decidability of the decomposability problem for finite theories	2011-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q3545557	2008-12-11	Paper
On decomposability of theories	2006-10-24	Paper

Research outcomes over time

This page was built for person: Denis Ponomaryov