Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wenjing Chang
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science