Travelled to:
1 × France
Collaborated with:
F.Díaz M.V.Luzón
Talks about:
constraint (1) problem (1) geometr (1) adjust (1) model (1) solv (1)
Person: Reyes Pavón
DBLP: Pav=oacute=n:Reyes
Contributed to:
Wrote 1 papers:
- SAC-2006-PavonDL #constraints #geometry #problem #theorem proving
- An adjustment model in a geometric constraint solving problem (RP, FD, MVL), pp. 968–973.