Our paper, titled “Declarative Solver Development: Case Studies” is now accepted in KR 2016 which will be held in Cape town, South Africa.
Personal Homepage
Our paper, titled “Declarative Solver Development: Case Studies” is now accepted in KR 2016 which will be held in Cape town, South Africa.