
Set constraint model and automated encoding into SAT: application to the social golfer problem
- Autor: Frédéric Lardeux / Eric Monfroy / Broderick Crawford / Ricardo Soto
- Fecha: Agosto 5, 2016
- Tipo de Material: Artículos
On the one hand, constraint satisfaction problems allow one to expressively model problems. On the other hand, propositional satisfiability problem […]
- Categorías:
- Tipo de archivo: PDF