Travelled to:1 × Japan
Collaborated with:J.Burg P.J.Stuckey R.H.C.Yap
Talks about:constraint (1) program (1) linear (1) logic (1) equat (1) solv (1)
Person: Jason C. H. Tai
DBLP: Tai:Jason_C=_H=
Contributed to:
1995Wrote 1 papers:
- ICLP-1995-BurgSTY #constraints #equation #linear #logic programming
- Linear Equation Solving for Constraint Logic Programming (JB, PJS, JCHT, RHCY), pp. 33–47.