Research manuscripts and supporting formal developments by Troy Nguyen.
- Sublinear treewidth exponents for binary CSP: manuscript, Lean source overlay, reproduction instructions, and retained verification evidence.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Research manuscripts and supporting formal developments by Troy Nguyen.