Author:Huu-Phuc Vo

Publications
Towards Efficient Solvers for Optimisation Problems Huu-Phuc Vo EasyChair Preprint 1738
Towards Efficient Algorithms for Constraint Satisfaction Problems Huu-Phuc Vo EasyChair Preprint 1732
Machine-Assisted Reformulation for MiniZinc Huu-Phuc Vo EasyChair Preprint 1731
Forward to a Promising Future Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo EasyChair Preprint 113

Keyphrases

Actor-based Programming, bisimulation, compilation strategy, Computer Science, concurrency, Constraint Programming³, formal methods, futures, implied constraint, model transformation, modelling, modelling languages, Optimisation³, parallelism, promises, reduction rule, reformulation, reformulations, task-based programming, type system.