Login / Signup
Mao Chen
ORCID
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 16
Top Topics
Search Algorithm
Theorem Proving
Timetabling Problem
Greedy Heuristic
Top Venues
Comput. Oper. Res.
J. Autom. Reason.
Comput. Ind. Eng.
Inf. Sci.
</>
Publications
</>