https://bohlender.pro/tags/ 2023-01-21T13:38:05+01:00 https://bohlender.pro/tags/tinkering/ 2023-01-21T13:38:05+01:00 https://bohlender.pro/blog/turning-studio-headphones-into-a-headset/ 2023-01-21T13:38:05+01:00 https://bohlender.pro/tags/advent-of-code/ 2022-01-22T15:06:54+01:00 https://bohlender.pro/tags/puzzle/ 2022-01-22T15:06:54+01:00 https://bohlender.pro/tags/smt/ 2022-01-22T15:06:54+01:00 https://bohlender.pro/blog/aoc-seven-segment-search-with-z3/ 2022-01-22T15:06:54+01:00 https://bohlender.pro/blog/generating-crosswords-with-sat-smt/ 2020-09-27T16:03:37+02:00 https://bohlender.pro/tags/sat/ 2020-09-27T16:03:37+02:00 https://bohlender.pro/tags/ai/ 2020-03-08T16:12:02+01:00 https://bohlender.pro/blog/playing-hard-mastermind-games-with-a-sat-based-ai/ 2020-03-08T16:12:02+01:00 https://bohlender.pro/tags/logic-synthesis/ 2019-11-30T22:54:10+01:00 https://bohlender.pro/blog/solving-a-logic-synthesis-puzzle-via-sat-smt/ 2019-11-30T22:54:10+01:00 https://bohlender.pro/blog/smt-based-optimisation-of-fast-inverse-square-root/ 2019-09-12T09:31:28+02:00 https://bohlender.pro/tags/smt-lib/ 2019-09-12T09:31:28+02:00 https://bohlender.pro/tags/software-verification/ 2019-09-12T09:31:28+02:00 https://bohlender.pro/projects/ 2019-09-02T13:33:18+02:00 https://bohlender.pro/photography/ 2019-08-27T17:05:05+02:00 https://bohlender.pro/cv/ 2019-08-27T00:14:04+02:00 https://bohlender.pro/blog/ 2019-08-21T17:23:49+02:00 https://bohlender.pro/legal/ 2019-08-19T13:32:35+02:00 https://bohlender.pro/ 2019-08-17T22:52:06+02:00