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
Related publications
Statistical Methodology for Comparison of SAT Solvers
A Decision-Making Procedure for Resolution-Based SAT-Solvers
Branching Process Approach for 2-Sat Thresholds
Journal of Applied Probability
Mathematics
Statistics
Uncertainty
Probability
Generating SAT Local-Search Heuristics Using a GP Hyper-Heuristic Framework
Chemical Mechanism Solvers in Air Quality Models
ATMOSPHERE
Atmospheric Science
Environmental Science
Turing Mechanism Underlying a Branching Model for Lung Morphogenesis
PLoS ONE
Multidisciplinary
Orbitofrontal Cortex: A ‘Non-Rewarding’ New Treatment Target in Depression?
Current Biology
Genetics
Molecular Biology
Biochemistry
Biological Sciences
Neuroscience
Agricultural
New & Improved Models for SAT-based Bi-Decomposition
New Approaches to Rewarding Pharmaceutical Innovation
CMAJ
Medicine
