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]
@phdthesis{hal-1695,
title = {Contrôle de la propagation et de la recherche dans un solveur de contraintes. (Controlling propagation and search within a constraint solver)},
author = {Charles Prud'homme},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01060921},
researchr = {https://researchr.org/publication/hal-1695},
cites = {0},
citedby = {0},
school = {École des mines de Nantes, France},
}