pkhuong/tetris-dpll
An implementation of the DPLL at the core of http://arxiv.org/abs/1404.0703
Public GitHub Catalog
Discovered Sep 29, 2026
pkhuong / acd-alm
Accelerated coordinate descent for an augmented Lagrangian method
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#15659991GitHub System ID
pkhuongOrganization / User
PublicVisibility
ActiveCatalog Status
More from pkhuong
pkhuong/modok
Hydra^2 for box constrained least squares.
pkhuong/ck
Concurrency primitives, safe memory reclamation mechanisms and non-blocking data structures designed to aid in the research, design and implementation of high performance concurrent systems.
pkhuong/cholesky-is-magic
Toy interior point method