Login / Signup
Bican Xia
ORCID
Publication Activity (10 Years)
Years Active: 1998-2024
Publications (10 Years): 45
Top Topics
Variable Ordering
Dynamical Systems
Solving Global Optimization Problems
Random Sat
Top Venues
CoRR
ISSAC
J. Symb. Comput.
J. Syst. Sci. Complex.
</>
Publications
</>