Login / Signup
Yang Xu
ORCID
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 62
Top Topics
Propositional Logic
Preprocessing
Theorem Prover
Satisfiability Problem
Top Venues
ISKE
Int. J. Comput. Intell. Syst.
Inf. Sci.
Knowl. Based Syst.
</>
Publications
</>