2,128 followers
@akitsu_sanae @pi8027_tsukuba SATだと証明された実装の試みがあるみたい(例えば https://t.co/8ZPlSEZgWJ https://t.co/8IxogMtdhn https://t.co/rQSxbjveKA )だし、DRATなどのUNSATの証明とその検証のための仕組みも普及してますが、 SMTだとこのあたりの話はあんまり聞かないですね……
@akitsu_sanae @pi8027_tsukuba SATだと証明された実装の試みがあるみたい(例えば https://t.co/8ZPlSEZgWJ https://t.co/8IxogMtdhn https://t.co/rQSxbjveKA )だし、DRATなどのUNSATの証明とその検証のための仕組みも普及してますが、 SMTだとこのあたりの話はあんまり聞かないですね……
a verified SAT solver おもしろそう : http://t.co/2ymwv768