Masahiro Sakai, 22 Jul 2012 キュウべぇ…… QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability http://www.springerlink.com... キュウべぇ……QuBE: A…