Exact methods
Solvers with proofs: SAT encodings, integer programming, exact-cover, meet-in-the-middle. Complete methods and what they can actually certify.
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
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