文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Massimo Giovanardi
发表
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation
Marco Schaerf, Marco Cadoli, Andrea Giovanardi, 2002, Journal of Automated Reasoning.