56858b1bb91d060
http://nhiro.org.s3.amazonaws.com/0/1/014e2c83c5046db603c97b436954a1e9.jpg https://gyazo.com/014e2c83c5046db603c97b436954a1e9
56858b1bb91d,059 56858b1bb91d,061
56858b1bb91d
(OCR text)
SATの実応用問題の大きさ
61
最も大きいもので200万変数
実応用問題の大きさ
SAT 2011 Application 300
1400
SAT
1200
AUNSAT
x Unknown
1000
4
A 4
800
X
600
A.
400
200
BA
0
150
0
50
100
200
Variables [x104
12
http://www-erato.ist.hokudai.ac.jp/docs/seminar/nabeshima.pdf
Clauses [x10
O P
O
Nearest: 7762aa93ff14,049