Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
UMEMURA Akihiro,SAT/SMT solvers and their applications,Computer Software,0289-6540,Japan Society for Software Science and Technology,2010,27,3,24-35,https://cir.nii.ac.jp/crid/1390282679715205760,https://doi.org/10.11309/jssst.27.3_24