日経サイエンスは「数独」目当てで買ったのですが、形式手法についての記事もありました。 http://www.nikkei-bookdirect.com/science/page/magazine/0609/software.html?PHPSESSID=ac185482bfaa5fd1c2b9d422fa927df6

ま、負けた・・・。 私のプログラムが解けなかった「問題0024」じゃないですか。 しかも、一瞬で(結果 time:47ms)で解いてます。 行数も私より圧倒的に少ない。まだソースを詳しく見てないのだけれど、異様にソースが短いです。 それに「数値を適当に当ては…