CIES

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

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

Boosting autonomous search for CSPs via skylines

  • Autor: Ricardo Soto / Broderick Crawford / Wenceslao Palma / Karin Galleguillos / Carlos Castro / Eric Monfroy / Franklin Johnson / Fernando Paredes
  • Fecha: Agosto 5, 2016
  • Tipo de Material: Artículos

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

  • 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 […]

384 contenidos encontrados.
Saltar a la barra de herramientas