Author

F. Manyà

h-index 31 View on Semantic Scholar

We have 1 of 155 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

A neuro-symbolic approach that integrates formal constraint reasoning into the VLM solving process via a Maximum Satisfiability (MaxSAT) oracle and improves logical consistency and increases the number of solved instances, particularly in full-board refinement mode is proposed.

Pedro Orvalho, Guillem Alenyà, F. Manyà · 1 citation