Digital Memcomputing Machine (DMM) based SAT-Solver
-
Updated
May 25, 2023 - C++
Digital Memcomputing Machine (DMM) based SAT-Solver
LSP-1 : Architecture memcomputing full-stack bio-mimétique. Remplace le courant électronique par le transport protonique (Grotthuss) et les solitons de Davydov. Utilise la frustration géométrique du réseau de Kagome pour atteindre une efficacité proche de la réversibilité thermodynamique.
Exploration des principes mathématiques derrière la frustration géométrique et ses applications en science des matériaux et au-delà.
Add a description, image, and links to the memcomputing topic page so that developers can more easily learn about it.
To associate your repository with the memcomputing topic, visit your repo's landing page and select "manage topics."