- Gauteng, South Africa
- [email protected]
- @carlinsky_ruan
Highlights
- Pro
Pinned Loading
-
CaDiCaL-Reinforcement-Learning-SAT-Solver
CaDiCaL-Reinforcement-Learning-SAT-Solver PublicReinforcement-Learning Controller for Variable Selection in the CaDiCaL SAT Solver — integrates a Python A2C policy with an instrumented CaDiCaL solver through a pybind11 bridge to learn variable-s…
C++
-
MRI-Image-Enhancement-Using-GA-VNS
MRI-Image-Enhancement-Using-GA-VNS PublicMy implemention of a Genetic and Variable Neighbourhood Search Algorithm to find the best image enhancement pipelines for distorted MRI scans, evaluated with MSE, PSNR, and SSIM.
Python
-
Selection-Perturbative-Hyper-Heuristic
Selection-Perturbative-Hyper-Heuristic PublicThis is my Python implementation of a single-point Selection Perturbative Hyper-Heuristic (SPHH) to optimize 24 benchmark mathematical functions.
Python
-
COS301-SE-2024/Smart-Parking-System
COS301-SE-2024/Smart-Parking-System PublicThe Smart Parking System is a cutting-edge solution designed to alleviate the parking space scarcity prevalent in urban areas, commercial complexes, and multi-story buildings.
If the problem persists, check the GitHub status page or contact support.


