Categoría: "Otras Especialidades de las Matemáticas"

376 contenidos encontrados.
Centro Investigación en Educación Superior

Boosting autonomous search for CSPs via skylines

Solving constraint satisfaction problems via constraint programming involves the exploration of a search tree where the potential solutions are distributed. […]

Centro Investigación en Educación Superior

Set constraint model and automated encoding into SAT: application to the social golfer problem

On the one hand, constraint satisfaction problems allow one to expressively model problems. On the other hand, propositional satisfiability problem […]

376 contenidos encontrados.
Saltar a la barra de herramientas