The two communities of Symbolic Computation and Satisfiability Checking have recently found themselves tackling similar problems and having a growing interest in each other's technology. This special issue presents articles...
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories....
The two communities of Symbolic Computation and Satisfiability Checking have recently found themselves tackling similar problems and having a growing interest in each other's technology. This special issue presents articles...
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories....
To clarify the relationship between the glass-forming ability (GFA) and local atomic structure of Pd-based metallic glasses, the structures of an amorphous Pd40Cu40P20 (PCP) were investigated...
An efficient elevated-pressure catalytic oxidative process (2.5 mol % Co(NO3)2, 2.5 mol % MnBr2, air (30 bar), 125 °C, acetic acid, 6 h) has been developed to oxidize p-cymene into crystalline white terephthalic acid (TA) in...
|< |
< |
1 |