Stories by stuehieyr

Differentiable max-SAT Solver for real world optimization problems

I Built a SAT Solver Inspired by Quantum Field Theory and It Works

Show HN: Malloc – phy solver for constrained balanced partitioning problems

Show HN: ChaosEncrypt: An Experimental Chaotic Cipher (Research Project)

Show HN: DAPS – Prime-Adaptive Search for Discontinuous Optimization Problems