97 followers
@alpha_convert There's this https://t.co/ZsLspd8jQY, International Joint Conference on Automated Reasoning
@alpha_convert There's this https://t.co/ZsLspd8jQY, International Joint Conference on Automated Reasoning
キュウべぇ…… QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability http://t.co/6IMwM9ey... http://t.co/t3qssBb4