On the complexity of Boolean functions computed by lazy oracles

We introduce and examine some properties of a new complexity measure for Boolean functions. Unlike classical approaches, which are largely concerned with resource requirements, the measure examined here aims at quantifying the potential for lazy evaluation in a function. This measure is motivated by...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on computers Vol. 44; no. 4; pp. 495 - 502
Main Authors:	Dunne, P.E., Leng, P.H., Nwana, G.F.
Format:	Journal Article
Language:	English
Published:	New York, NY IEEE 01.04.1995 Institute of Electrical and Electronics Engineers
Subjects:	Applied sciences Boolean functions Circuit simulation Circuit synthesis Computer science; control theory; systems Digital systems Discrete event simulation Electronics Exact sciences and technology Formal verification Integrated circuits Logic circuits Logic design Logic functions Logic gates Logical, boolean and switching functions Semiconductor electronics. Microelectronics. Optoelectronics. Solid state devices Simulation Software Theoretical computing Electronic circuit Boolean function Symmetric function Complexity measure Computational complexity Simulator
ISSN:	0018-9340
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!