Extended Failed-Literal Preprocessing for Quantified Boolean Formulas
International Conference on Theory and Applications of Satisfiability Testing（2012）
关键词
quantified boolean formulas,QBF,failed literals,extended failed literals,1-saturation,look-ahead,preprocessing
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要