@inproceedings{weko_151963_1, author = "薗部,知大 and 稲葉,真理", title = "RA-008 portfolio型並列SATソルバにおける多様な探索を行うための手法の提案(A分野:モデル・アルゴリズム・プログラミング,査読付き論文)", booktitle = "情報科学技術フォーラム講演論文集", year = "2013", volume = "12", number = "1", pages = "57--64", month = "aug" }