maxsat

This paper proposes a neuro-symbolic approach that integrates a MaxSAT oracle as a consistency validator to guide Vision-Language Models (VLMs) in solving Sudoku puzzles, improving logical consistency and the number of solved instances.