Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yang Xu
Joint-Preserving Surgery for Talar Malunions or Nonuions
Orthopaedic surgery
Surgery
Orthopedics
Sports Medicine
Protective Effects of Resveratrol on Autologous Nucleus Pulposus Model of Radiculopathy
Experimental and Therapeutic Medicine
Medicine
Cancer Research
Immunology
Microbiology
Network Security and Management in SDN
Security and Communication Networks
Computer Networks
Information Systems
Communications
Α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Determination of 3-Aryα-Resolution in Lattice-Valued Propositional Logic LP(X)
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Data-Driven Deformation Reliability of Retaining Structures in Deep Excavations Considering Measurement Error
Applied Sciences (Switzerland)
Instrumentation
Materials Science
Fluid Flow
Engineering
Computer Science Applications
Process Chemistry
Transfer Processes
Technology
Vague Congruences and Quotient Lattice Implication Algebras
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
‹
6
7
8
9
10
11
12
›
