@inproceedings{weko_155499_1, author = "徳丸,雄一郎 and 藤原,暁宏", title = "A-005 DNA計算におけるMAX-SATの解法(A分野:モデル・アルゴリズム・プログラミング)", booktitle = "情報科学技術フォーラム一般講演論文集", year = "2005", volume = "4", number = "1", pages = "9--10", month = "aug" }