SSSSLIDE

SAT/SMTソルバの仕組み

byMasahiro Sakai

2015/09/13にアップロード

Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。

参照元: http://www.slideshare.net/sakai/satsmt