https://isa-afp.org/authors/shea/ AFP entries of Daniel Shea https://isa-afp.org/entries/SAT_Not_Const_Time.html Thu, 26 Mar 2026 00:00:00 +0000 SAT is Not Solvable in Constant Time in the AFP Computer science/Automata and formal languages Logic/Computability