Cayrol, Michel

2 publications

IJCAI 1997 Hidden Gold in Random Generation of SAT Satisfiable Instances Thierry Castell, Michel Cayrol

IJCAI 1979 Formal Objects and Feature Associations in "ARGOS-II" Michel Cayrol, Bernard Fade, Henri Farreny