constraint satisfaction

2 items

RESEARCHarXiv CS.AI·1d ago

DiBS: Diffusion-Informed Branch Selection

The paper introduces DiBS, a novel diffusion model-guided approach for branch selection in solving Sudoku, a constraint satisfaction problem. It enhances symbolic solvers by using a diffusion model to guide branch ordering, ensuring completeness while mitigating long-tail search issues.

branch selection Diffusion Models constraint satisfaction Sudoku

RESEARCHDEV.to AI·3d ago

Optimization hardness as transient chaos in an analog approach to constraintsatisfaction

This research explores the difficulty of optimization problems, linking it to transient chaotic behavior within an analog approach to constraint satisfaction. It investigates how the dynamics of such systems can illuminate the challenges in finding optimal solutions.

analog computing Optimization constraint satisfaction Computational Science