DRMacIver's Notebook
Thoughts from David R. MacIver.
- By David R. MacIver
- Roughly 43 posts per year
- First post on
Posts per year
| Year starting | Posts |
|---|---|
| 2022 | 13 |
| 2023 | 3 |
| 2024 | 43 |
Any gaps could be due to errors when fetching the blog’s feed.
Most recent posts
“Fast” enumeration of partial assignments in SAT problems Published 2024-10-15 In my last post on SAT problems I noted that you can remove a single variable from a SAT problem using the technique I outlined. …
Set operations on SAT problems Published 2024-09-22 I’ve figured out a neat trick recently that I’ve not seen before, although I don’t know if it’s actually novel. It’s a fairly general method for manipulating SAT …
Asymmetric vices and the unity of virtue Published 2024-07-31 I was trying to find a post I’d written about this and then realised it was a Twitter thread. This post is just me copying out …