FLoC2006: SAT - Himansu Jain (Carnegie Mellon University) : 無料・フリー素材/写真
FLoC2006: SAT - Himansu Jain (Carnegie Mellon University) / orcmid
| ライセンス | クリエイティブ・コモンズ 表示 2.1 |
|---|---|
| 説明 | Satisfiability Checking of Non-clausal Formulas using General Matings More on SAT heuristics and algorithms |
| 撮影日 | 2006-08-12 14:30:00 |
| 撮影者 | orcmid , Seattle, Washington, USA |
| タグ | |
| 撮影地 | |
| カメラ | SP-2000 , FUJI PHOTO FILM CO., LTD. |

