著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Theory and Applications of Satisfiability Testing and Creignou, Nadia and Le Berre, Daniel","Theory and applications of satisfiability testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings",,Springer,2016,Lecture notes in computer science,,9783319409696,,https://cir.nii.ac.jp/crid/1130282270593928832