9 results on '"He, Xingxing"'
Search Results
2. Some synergized clause selection strategies for contradiction separation based automated deduction
3. Conflicting rate based branching heuristic for CDCL SAT solvers
4. New terms metric based on substitutions
5. α-lock semantic resolution method based on lattice-valued first-order logic LF(X)
6. Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic
7. Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic
8. Notice of Retraction: A hybrid intelligent early warning system for predicting economic crises: The case of China
9. Reasoning under Uncertainty Based on Linguistic Truth-Valued Lattice Values First-Order Logic (II)
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.