Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
AND–decomposition of boolean polynomials with prescribed shared variables. / Emelyanov, Pavel.
Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Том 9602 Springer-Verlag GmbH and Co. KG, 2016. стр. 164-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 9602).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - AND–decomposition of boolean polynomials with prescribed shared variables
AU - Emelyanov, Pavel
PY - 2016/1/1
Y1 - 2016/1/1
N2 - In this article, we present an algorithm for conjunctive bi–decomposition of boolean polynomials where decomposition components share only prescribed variables. It is based on the polynomial–time algorithm of disjoint decomposition developed before. Some examples and evaluation of the algorithm are given.
AB - In this article, we present an algorithm for conjunctive bi–decomposition of boolean polynomials where decomposition components share only prescribed variables. It is based on the polynomial–time algorithm of disjoint decomposition developed before. Some examples and evaluation of the algorithm are given.
KW - AND–decomposition of boolean functions
KW - Combinatorial optimization
KW - Disjoint decomposition
KW - Factoring polynomials over finite fields
KW - Sharing prescribed variables between decomposition components
UR - http://www.scopus.com/inward/record.url?scp=84959168471&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-29221-2_14
DO - 10.1007/978-3-319-29221-2_14
M3 - Conference contribution
AN - SCOPUS:84959168471
SN - 9783319292205
VL - 9602
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 164
EP - 175
BT - Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings
PB - Springer-Verlag GmbH and Co. KG
T2 - 2nd International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2016
Y2 - 17 February 2016 through 19 February 2016
ER -
ID: 14280201