Numerical computation of characteristic polynomials of Boolean functions and its applications

DOI10.1023/A:1016632423579zbMath0904.94030OpenAlexW1614213948MaRDI QIDQ1264386

K. Appert

Publication date: 29 September 1998

Published in: Numerical Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016632423579

zbMATH Keywords

Boolean functionsrandomized algorithmsfloating point arithmeticround-off errorscombinational circuit verificationevaluation of characteristic polynomials

Mathematics Subject Classification ID

Related Items (2)

Computing Boolean Functions via Quantum Hashing ⋮ Approximate evaluations of characteristic polynomials of Boolean functions

This page was built for publication: Numerical computation of characteristic polynomials of Boolean functions and its applications