Login / Signup
Chu Min Li
Publication Activity (10 Years)
Years Active: 1992-2023
Publications (10 Years): 14
Top Topics
Combinatorial Optimization Problems
Tableau Calculus
Sat Instances
Maximum Satisfiability
Top Venues
ISMVL
IJCAI
CCIA
Log. J. IGPL
</>
Publications
</>