Denis Ponomaryov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The complexity of AND-decomposition of Boolean functions Discrete Applied Mathematics	2020-05-18	Paper
On a polytime factorization algorithm for multilinear polynomials over \(\mathbb{F}_2\) (available as arXiv preprint)	2018-10-23	Paper
Progression of decomposed local-effect action theories ACM Transactions on Computational Logic	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 Programming and Computer Software	2016-06-27	Paper
Probabilistic concepts in formal contexts Perspectives of Systems Informatics	2015-12-07	Paper
On tractability of disjoint AND-decomposition of Boolean formulas Lecture Notes in Computer Science	2015-12-03	Paper
Probabilistic generalization of formal concepts Programming and Computer Software	2012-11-16	Paper
On decomposability in logical calculi Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science	2012-05-11	Paper
Generalized decomposability notions for first-order theories Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science	2012-05-11	Paper
On decidability of the decomposability problem for finite theories Siberian Mathematical Journal	2011-03-17	Paper
scientific article; zbMATH DE number 5381045 (Why is no real title available?)	2008-12-11	Paper
scientific article; zbMATH DE number 5381045 (Why is no real title available?)	2008-12-11	Paper
On decomposability of theories	2006-10-24	Paper

Research outcomes over time

This page was built for person: Denis Ponomaryov