Title of article
A LOWER BOUND FOR INTEGER MULTIPLICATION WITH READ-ONCE BRANCHING PROGRAMS*
Author/Authors
PONZIO، STEPHEN نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 1999
Pages
-797
From page
798
To page
0
Abstract
This paper describes the potential suitability of a new family of concrete mixtures for use in protective structures. Two very-high-strength concrete mixtures are discussed and experimental results of penetration studies on one of these are presented. The results are compared to penetration-study results of other, more conventional concrete mixtures, and the advantages of the very-high-strength mixtures are described.
Keywords
BDD , read-once , multiplication , branching programs , Verification
Journal title
SIAM Journal on Computing
Serial Year
1999
Journal title
SIAM Journal on Computing
Record number
16522
Link To Document