Orthologic for SAT Solving. - Vladislas de Haldat; Simon Guilloud; Viktor Kuncak (CoRR, 2026)