Skip to content
#

solver-selection

Here are 2 public repositories matching this topic...

Language: All
Filter by language

Selección de solvers para SAT y Job Shop Scheduling con redes convolucionales: cada instancia se codifica como imagen o tensor y una CNN predice qué solver la resuelve dentro del límite de tiempo. Pipelines de clasificación, multietiqueta y regresión. Práctica de investigación, Universidad del Valle.

  • Updated Dec 9, 2025
  • Python

Add this topic to your repo

To associate your repository with the solver-selection topic, visit your repo's landing page and select "manage topics."

Learn more