This paper accompanies a new dataset of non-linear real arithmetic problems for the SMT-LIB benchmark collection. The problems come from an automated proof procedure of Gerhold-Kauers, which is well suited for solution by...
This paper accompanies a new dataset of non-linear real arithmetic problems for the SMT-LIB benchmark collection. The problems come from an automated proof procedure of Gerhold-Kauers, which is well suited for solution by...
Several 'Advanced Rechargeable Battery Technologies' (ARBT) have been evaluated in terms of various energy, environmental, economic, and technical criteria. Their suitability for different applications, such as electric...
Several 'Advanced Rechargeable Battery Technologies' (ARBT) have been evaluated in terms of various energy, environmental, economic, and technical criteria. Their suitability for different applications, such as electric...