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