441 followers
直観主義のSATもNP完全らしいけど、速いアルゴリズムってあるのかとおもい検索したら https://t.co/XLk1s45kOX ふつうのSAT solverを使ってわりといいのができるという話らしいのが出てきた
直観主義のSATもNP完全らしいけど、速いアルゴリズムってあるのかとおもい検索したら https://t.co/XLk1s45kOX ふつうのSAT solverを使ってわりといいのができるという話らしいのが出てきた
#Publication - SAT modulo intuitionistic implications | We present a new method for solving problems in intuitioni… https://t.co/8plOwYZOqw