Numerical computation of characteristic polynomials of Boolean functions and its applications
type: Item
instance of: scholarly article
title: Numerical computation of characteristic polynomials of Boolean functions and its applications
zbMATH Open document ID: 0904.94030
DOI: 10.1023/A:1016632423579
author: K. Appert
published in: Numerical Algorithms
publication date: 1998-09-29T00:00:00Z
review text: The authors develop a method of evaluation of characteristic polynomials of Boolean functions with applications to combinational circuit verification. The values of these polynomials are compared at a sample point without explicit construction. An analysis of round-off errors in floating point arithmetic is provided, including randomized algorithms [see \textit{J. T. Schwartz}, J. ACM 27, 701-717 (1980; Zbl 0452.68050)].
reviewed by: Indulis Strazdins
Mathematics Subject Classification ID: 94C10
Mathematics Subject Classification ID: 65G50
Mathematics Subject Classification ID: 06E30
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 1204233
zbMATH Keywords: evaluation of characteristic polynomials
zbMATH Keywords: Boolean functions
zbMATH Keywords: combinational circuit verification
zbMATH Keywords: round-off errors
zbMATH Keywords: floating point arithmetic
zbMATH Keywords: randomized algorithms
MaRDI profile type: Publication
full work available at URL: a:1016632423579
OpenAlex ID: W1614213948
Recommended article: Approximate evaluations of characteristic polynomials of Boolean functions
Recommended article: On computing Boolean connectives of characteristic functions
Recommended article: Q4474228
Recommended article: Polynomial transformation of Boolean functions: analysis of computational algorithms
Recommended article: On the polynomial form of Boolean functions: derivations and applications
Recommended article: On the efficiency of solving Boolean polynomial systems with the characteristic set method
Recommended article: Q3413882
Recommended article: Q3698702
Recommended article: Generalized Boole numbers and polynomials
Recommended article: Q5325236
description: scientific article; zbMATH DE number 1204233