Numerical computation of characteristic polynomials of Boolean functions and its applications (Q1264386)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Numerical computation of characteristic polynomials of Boolean functions and its applications |
scientific article; zbMATH DE number 1204233
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical computation of characteristic polynomials of Boolean functions and its applications |
scientific article; zbMATH DE number 1204233 |
Statements
Numerical computation of characteristic polynomials of Boolean functions and its applications (English)
0 references
29 September 1998
0 references
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)].
0 references
evaluation of characteristic polynomials
0 references
Boolean functions
0 references
combinational circuit verification
0 references
round-off errors
0 references
floating point arithmetic
0 references
randomized algorithms
0 references
0.9315866
0 references
0 references
0.8880967
0 references
0.88617235
0 references
0.8820652
0 references
0.8793342
0 references
