MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku | Digital Library | PAMCET | PAMCET