Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) SUGIMOTO Takuya and NABESHIMA Hidetomo,Lightweight Dynamic Simplification Techniques for CDCL Solvers,"JSAI Technical Report, SIG-FPAI",2436-4584,The Japanese Society for Artificial Intelligence,2015-03-18,97,0,16,https://cir.nii.ac.jp/crid/1390007072282662912,https://doi.org/10.11517/jsaifpai.97.0_16