5 ms·SAT can be solved surprisingly quickly via superposed bools on Interaction Nets6 points by LightMachine 3y agoedwintorok 3y agoThe description of interaction nets sounds a bit like hash-consing, with some extra optimisations.