ByNobleID
    A polynomial time algorithm for 3SAT (the newest version of August, 2025) | NobleID