AND–decomposition of boolean polynomials with prescribed shared variables

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

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
Страна/TерриторияИндия
ГородThiruvananthapuram
Период17.02.201619.02.2016

Fingerprint

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

Цитировать