Faltings, BoiMacho-Gonzalez, Santiago2006-12-132006-12-132006-12-13200510.1016/j.artint.2004.10.005https://infoscience.epfl.ch/handle/20.500.14299/238469WOS:0002258465000086357Open Constraint Programmingtext::journal::journal article::research article