2024-03-29T15:47:48Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00018714
2024-03-21T04:14:22Z
3:2658:1179
Optimizing mv-BMC to mv-SAT Conversion
Jefferson, O. Andrade
open access
魅力ある大学院教育イニシアティブ:実践IT力を備えた高度情報学人材育成プログラム
筑波大学
2007
eng
technical report
http://hdl.handle.net/2241/104467
https://tsukuba.repo.nii.ac.jp/records/18714
2007年度CSテクニカルレポート・システム開発型研究プロジェクト特集号
https://tsukuba.repo.nii.ac.jp/record/18714/files/2007_05_jefferson_r.pdf
application/pdf
342.4 kB
2013-12-20