GitHub

Python SAT Solver (DPLL + CDCL + VSIDS) – A from-scratch implementation of modern SAT solving algorithms with clause learning, non-chronological backtracking, heuristics, and ...

This project is my independent research into SAT solvers written entirely in Python, designed to explore the theory and practice of propositional satisfiability. It begins with a baseline DPLL ...
Scientific Research Publishing

Virtanen, P., Gommers, R., Oliphant, T.E., Haberland, M., Reddy, T., Cournapeau, D., et al. (2020) Author Correction: SciPy 1.0: Fundamental Algorithms for Scientific Computing ...

ABSTRACT: Background/Objective: Wrinkles, nasolabial folds, pigmented spots, and roughness are representative parameters reflecting facial skin aging. Among them, nasolabial folds are a particular ...
IEEE

Performance Improvements Through Advanced PV Backtracking on Uneven Terrain

Abstract: The climatic sensitivity of new terrain-aware backtracking algorithms is evaluated across 800 locations in the continental USA on a representative synthetic rolling terrain. We find that a ...
PV Tech

TrinaTracker Smart Control System proven to boost power generation in utility-scale solar plants

A utility-scale solar plant in China’s Shandong Province faced operational challenges due to its early construction, complex terrain and difficult maintenance conditions. Numerous tracker controller ...
C&EN

Historical Retrospect of Aquatic Microbial Communities Based on Water–Carbonate Equilibrium and pH Values in Dianchi Lake Using the Random Forest Algorithm

Key Laboratory of Groundwater Resources and Environment Ministry of Education, Jilin University, Changchun 130021, PR China College of New Energy and Environment, Jilin University, Changchun 130021, ...
GitHub

recursive-backtracking-algorithm

Treasure Hunter is a python application in which the protagonist has to find the shortest path to the treasure in the maze board. A build-in program helps the protagonist to find the shortest path.