Title of article :
WEIGHTED NP OPTIMIZATION PROBLEMS: LOGICAL DEFINABILITY AND APPROXIMATION PROPERTIES*
Author/Authors :
ZIMAND، MAR.IUS نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 1999
Pages :
-35
From page :
36
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 :
miiltiprover interactive systems. , approximation properties , NP optimization problems , logical definability
Journal title :
SIAM Journal on Computing
Serial Year :
1999
Journal title :
SIAM Journal on Computing
Record number :
16456
Link To Document :
بازگشت