Travelled to:
1 × Japan
Collaborated with:
F.Sáenz-Pérez
Talks about:
constraint (1) perform (1) system (1) improv (1) solv (1) cflp (1)
Person: Ignacio Castiñeiras
DBLP: Casti=ntilde=eiras:Ignacio
Contributed to:
Wrote 1 papers:
- FLOPS-2012-CastineirasS #constraints #performance #theorem proving
- Improving the Performance of FD Constraint Solving in a CFLP System (IC, FSP), pp. 88–103.