Using an induction prover for verifying arithmetic circuits (Q1856145)
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: Using an induction prover for verifying arithmetic circuits |
scientific article; zbMATH DE number 1862269
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using an induction prover for verifying arithmetic circuits |
scientific article; zbMATH DE number 1862269 |
Statements
Using an induction prover for verifying arithmetic circuits (English)
0 references
2000
0 references
automated reasoning
0 references
hardware verification
0 references
rewriting
0 references
arithmetic circuits
0 references
decision procedures
0 references
0.88270134
0 references
0.87828517
0 references
0.87645984
0 references
0.8700855
0 references
0.8662902
0 references
0.86596745
0 references
0.8650975
0 references
