Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
SOH Takehide and BANBARA Mutsunori and TAMURA Naoyuki and NABESHIMA Hidetomo,Recent Advances in SAT Solvers and their Utilization Technologies.,Computer Software,02896540,Japan Society for Software Science and Technology,2018-10-25,35,4,72-92,https://cir.nii.ac.jp/crid/1390282763081741056,https://doi.org/10.11309/jssst.35.72