4 ms·We can solve 3-SAT "quickly" via superposed booleans on interaction nets1 points by LightMachine 3y ago