Travelled to:
2 × Italy
Collaborated with:
∅ T.Zhao D.Wang P.Aubry
Talks about:
constraint (3) real (2) quartic (1) program (1) generat (1) formula (1) diagram (1) linear (1) solut (1) logic (1)
Person: Hoon Hong
DBLP: Hong:Hoon
Contributed to:
Wrote 2 papers:
- SAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial
- Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
- ALP-1992-Hong #constraints #logic programming
- Non-linear Real Constraints in Constraint Logic Programming (HH), pp. 201–212.