Contrôle de la propagation et de la recherche dans un solveur de contraintes. (Controlling propagation and search within a constraint solver)

Charles Prud'homme. Contrôle de la propagation et de la recherche dans un solveur de contraintes. (Controlling propagation and search within a constraint solver). PhD thesis, École des mines de Nantes, France, 2014. [doi]

Abstract

Abstract is missing.