And not “Satisfiability modulo theories” either, it seems. I would never recommend people to “move on” from an interesting article, though.
At first glance, I genuinely thought this was going to be a pitch for yet another fragile additive manufacturing toy with narrow usecase, or a new process that enables IPC-7092 designs on the cheap.