Nguyen Dang

School of Computer Science , University of St Andrews , UK

1 paper in the IJCAI proceedings

IJCAI 2019

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

with Saad Attieh, Christopher Jefferson, Ian Miguel, Peter Nightingale

doi:10.24963/ijcai.2019/148

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings