THE COMPUTATIONAL STRUCTURE OF MONOTONE MONADIC SNP AND CONSTRAINT SATISFACTION: A STUDY THROUGH DATALOG AND GROUP THEORY

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.