Sciweavers

JSAT
2010
121views more  JSAT 2010»
13 years 7 months ago
Resolution on Quantified Generalized Clause-sets.
This paper is devoted to investigate resolution for quantified generalized clause-sets (QCLS). The soundness and refutation completeness are proved. Then quantified generalized Ho...
Jiwei Jin, Xishun Zhao