Méthodes exactes
Des solveurs avec preuves : encodages SAT, programmation en nombres entiers, couverture exacte, meet-in-the-middle. Les méthodes complètes et ce qu'elles certifient vraiment.
Pourquoi c'est dur
Écrire un solveur
concept
All-different, le filtre par matching de Régin
concept
Apprentissage des no-goods : se souvenir de ses échecs
concept
Couverture exacte et liens dansants
concept
Rendez-vous au milieu
concept
Encodages SAT et CSP
concept
Relaxations LP et PLNE : une demi-pièce partout
concept
Applications itérées et divide-and-concur
concept
Approches quantiques : deux accélérations à leur vrai prix
référence
Impasses