Post Content Post navigation Visual LLM-guided consensus spatial domain detection with L-STAR A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD