AND–decomposition of boolean polynomials with prescribed shared variables

Pavel Emelyanov

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

3 Цитирования (Scopus)

Аннотация

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.

Язык оригиналаанглийский
Название основной публикацииAlgorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings
ИздательSpringer-Verlag GmbH and Co. KG
Страницы164-175
Число страниц12
Том9602
ISBN (печатное издание)9783319292205
DOI
СостояниеОпубликовано - 1 янв 2016
Опубликовано для внешнего пользованияДа
Событие2nd International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2016 - Thiruvananthapuram, Индия
Продолжительность: 17 фев 201619 фев 2016

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том9602
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Конференция

Конференция2nd International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2016
СтранаИндия
ГородThiruvananthapuram
Период17.02.201619.02.2016

Fingerprint Подробные сведения о темах исследования «AND–decomposition of boolean polynomials with prescribed shared variables». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать