Factoring and recognition of read-once functions using cographs and normality

M. C. Golumbic; A. Mintz; U. Rotics

doi:10.1145/378239.378356

Factoring and recognition of read-once functions using cographs and normality

M. C. Golumbic, A. Mintz, U. Rotics

Research output: Contribution to journal › Conference article › peer-review

Abstract

An approach for factoring general boolean functions was described in [5] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for recognizing and factoring read-once functions which is needed as a dedicated factoring subroutine to handle the lower levels of that factoring process. The algorithm is based on algorithms for cograph recognition and on checking normality. Our method has been implemented in the SIS environment, and an empirical evaluation is given.

Original language	English
Pages (from-to)	109-114
Number of pages	6
Journal	Proceedings - Design Automation Conference
DOIs	https://doi.org/10.1145/378239.378356
State	Published - 2001
Externally published	Yes
Event	38th Design Automation Conference - Las Vegas, NV, United States Duration: 18 Jun 2001 → 22 Jun 2001

Keywords

Cograph
Factoring
Normality
Read-once functions

ASJC Scopus subject areas

Hardware and Architecture
Control and Systems Engineering

Access to Document

10.1145/378239.378356

Cite this

@article{854ddaa0250b4d969793db0cbba31963,

title = "Factoring and recognition of read-once functions using cographs and normality",

abstract = "An approach for factoring general boolean functions was described in [5] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for recognizing and factoring read-once functions which is needed as a dedicated factoring subroutine to handle the lower levels of that factoring process. The algorithm is based on algorithms for cograph recognition and on checking normality. Our method has been implemented in the SIS environment, and an empirical evaluation is given.",

keywords = "Cograph, Factoring, Normality, Read-once functions",

author = "Golumbic, {M. C.} and A. Mintz and U. Rotics",

year = "2001",

doi = "10.1145/378239.378356",

language = "English",

pages = "109--114",

journal = "Proceedings - Design Automation Conference",

issn = "0738-100X",

note = "38th Design Automation Conference ; Conference date: 18-06-2001 Through 22-06-2001",

}

TY - JOUR

T1 - Factoring and recognition of read-once functions using cographs and normality

AU - Golumbic, M. C.

AU - Mintz, A.

AU - Rotics, U.

PY - 2001

Y1 - 2001

N2 - An approach for factoring general boolean functions was described in [5] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for recognizing and factoring read-once functions which is needed as a dedicated factoring subroutine to handle the lower levels of that factoring process. The algorithm is based on algorithms for cograph recognition and on checking normality. Our method has been implemented in the SIS environment, and an empirical evaluation is given.

AB - An approach for factoring general boolean functions was described in [5] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for recognizing and factoring read-once functions which is needed as a dedicated factoring subroutine to handle the lower levels of that factoring process. The algorithm is based on algorithms for cograph recognition and on checking normality. Our method has been implemented in the SIS environment, and an empirical evaluation is given.

KW - Cograph

KW - Factoring

KW - Normality

KW - Read-once functions

UR - http://www.scopus.com/inward/record.url?scp=0034855429&partnerID=8YFLogxK

U2 - 10.1145/378239.378356

DO - 10.1145/378239.378356

M3 - Conference article

AN - SCOPUS:0034855429

SN - 0738-100X

SP - 109

EP - 114

JO - Proceedings - Design Automation Conference

JF - Proceedings - Design Automation Conference

T2 - 38th Design Automation Conference

Y2 - 18 June 2001 through 22 June 2001

ER -

Factoring and recognition of read-once functions using cographs and normality

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this