今日は久しぶりの勉強会でした。まずは id:suer さんによる、 PPL Summer School のレポートでした。SAT Solver が超速い!みたいな。問題の制約を SAT の形式(?)にエンコードできれば、すごい速さで問題を解くことができるそうです。すげーな。 次は id:yos…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。