2
publications
68
citations
Interests / Fields
Computer science Theoretical computer science Programming language Constraint logic programming Logic programming Constraint programming Functional logic programming Inductive programming Declarative programming Symbolic execution Constraint satisfaction Solver CLP(R) Concurrent constraint logic programming Algorithm Mathematics Interpolation Fifth-generation programming language Constraint satisfaction problem Recursion
Publication Statistics
113
Total Publications
2
SG+ML Publications
Publications authored while based in Singapore within AI/ML-related areas.
7,944
Total Estimated Citations
Estimated citations uses a statistical model that leverages both local statistics of the publication and global statistics of the entire academic graph (from MAG).
68
SG+ML Estimated Citations
5,405
Total Citations
45