Travelled to:
1 × USA
Collaborated with:
S.Michaylov
Talks about:
constraint (1) arithmet (1) program (1) linear (1) compil (1) optim (1) logic (1) class (1)
Person: Bill Pippin
DBLP: Pippin:Bill
Contributed to:
Wrote 1 papers:
- ILPS-1994-MichaylovP #compilation #constraints #linear #logic programming #optimisation #source code
- Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs (SM, BP), pp. 586–600.