81 citations · 81 across the 2 of their papers we have counts for
2 papers
physics.chem-ph2019★ 81 cited
PubChemQC PM6: A dataset of 221 million molecules with optimized molecular geometries and electronic properties
Maho Nakata, Tomomi Shimazaki, Masatomo Hashimoto +1
We report on the largest dataset of optimized molecular geometries and electronic properties calculated by the PM6 method for 92.9% of the 91.2 million molecules cataloged in PubCh…
cs.SE2016
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda +1
Software model checking suffers from the so-called state explosion problem, and relaxed memory consistency models even worsen this situation. What is worse, parameterizing model ch…