Zichen Zhu

Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin , N.T. , Hong Kong

3 papers in the IJCAI proceedings

IJCAI 2016

Static Symmetry Breaking with the Reflex Ordering

with Jimmy Ho-Man Lee

Details PDF

IJCAI 2015

Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search

with Jimmy Ho-Man Lee

Details PDF

Improvements of Symmetry Breaking During Search

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings