藉積項分配為量化布林公式解決與認證最小化. A Cube Distribution Approach to QBF Solving and Certificate Minimization. 得獎者:奈米電子組陳昱諠.
確定! 回上一頁