Pinned Loading

1. CaDiCaL-Reinforcement-Learning-SAT-Solver CaDiCaL-Reinforcement-Learning-SAT-Solver Public

   Reinforcement-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++

2. MRI-Image-Enhancement-Using-GA-VNS MRI-Image-Enhancement-Using-GA-VNS Public

   My 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

3. Selection-Perturbative-Hyper-Heuristic Selection-Perturbative-Hyper-Heuristic Public

   This is my Python implementation of a single-point Selection Perturbative Hyper-Heuristic (SPHH) to optimize 24 benchmark mathematical functions.

   Python

4. COS301-SE-2024/Smart-Parking-System COS301-SE-2024/Smart-Parking-System Public

   The 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.

   Dart 5 4