SHIINBLOG

SAT

楽しい楽しい SAT符号化

琉大情報工学科(知能情報コース) Advent Calendar 2018 10日目の記事です. SAT 符号化についてまとめているところが無くて,とても苦労したのでまとめておく. SAT符号化とは,制約充足問題や制約最適化問題などを SAT 問題(充足可能性問題:Satisfiabili…