Numerical computation of characteristic polynomials of Boolean functions and its applications (Q1264386): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1016632423579 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1614213948 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:19, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Numerical computation of characteristic polynomials of Boolean functions and its applications |
scientific article |
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