Posts

Nov 5, 2023
Work-efficient Prefix Sums
Apr 10, 2022
Intersecting Set-Pair Systems
Nov 7, 2021
The Presidential Rectangle
Sep 5, 2021
Partridge Puzzle
Jan 20, 2021
Comma-free codes
Nov 1, 2020
Twenty Questions with z3
Aug 25, 2017
Simulating Levenshtein Automata
Jun 10, 2016
Regular Expression Search via Graph Cuts