Métodos exactos
Solucionadores con pruebas: codificaciones SAT, programación entera, cobertura exacta, meet-in-the-middle. Los métodos completos y lo que realmente pueden certificar.
Por qué es difícil
Crear un solucionador
concepto
All-different, el filtro por matching de Régin
concepto
Aprendizaje de no-goods: recordar por qué fallaste
concepto
Cobertura exacta y enlaces danzantes
concepto
Encuentro en el medio
concepto
La cola como problema exacto en sí mismo
concepto
Codificaciones SAT y CSP
concepto
Relajaciones LP y PLE: media pieza en todas partes
concepto
Aplicaciones iteradas y divide-and-concur
concepto
Enfoques cuánticos: dos aceleraciones a su precio real
referencia
Callejones sin salida