著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
EEN N.,MiniSat : A SAT solver with conflict-clause minimization,Proc. SAT-05 : 8th Int. Conf. on Theory and Applications of Satisfiability Testing,,,2005,,,502-518,https://cir.nii.ac.jp/crid/1573950400759425152,