When logic transformations, such as circuit restructuring, technology mapping, and post-mapping optimization, are repeatedly applied to large hardware designs, millions of relatively small (6-16 input) Boolean functions have to be efficiently manipulated. This paper focuses on a novel representation of these small functions, in terms of their disjoint-support decomposition (DSD) structures. A n...

To support reasoning about properties of programs operating with boolean values one needs theorem provers to be able to natively deal with the boolean sort. This way, program properties can be translated to first-order logic and theorem provers can be used to prove program properties efficiently. However, in the TPTP language, the input language of automated first-order theorem provers, the use...

The water crisis is harmful effects on human life. Also one of the most problems in the human society is water resources management. In this study, site selection of most suitable areas for artificial recharge using Boolean model. Criteria used to select the most suitable area for artificial recharge included: infiltration, slope, aquifer thickness, aquifer quality.  The layers were produced an...