In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro (Advanced Intelligent Systems, 2026)