SATソルバ
SATソルバ
SAT(boolean SATisfiability problem)
充足可能性問題
与えられた命題論理式を真にする値割り当てが存在するか否かを判定する問題 SATソルバは、与えられたSAT問題が充足可能 (SAT) か充足不能 (UNSAT) かを判定するプログラム
充足問題の例
パズル
数独
8クイーン
魔方陣
お絵かきロジック
連言標準形(CNF)
picosat (C)
SAT4J (Java)
SATソルバの競技大会があってそれでどんどん向上しているらしい
SAT Competition
SATRace
SAT Challenge
本
The Art of Computer Programming
Handbook of Satis ability
確認用
Q. SATソルバ
Q. 充足可能
Q. 充足不能
Q. SAT
Q. UNSAT
参考
2017/03/09
2022/02/24
2022/10/13
関連