Accelerating Floating-Point Satisfiability Solving via Gradient Normalization | AIChainDay