D. Liang
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1998
Multi-strategy Local Search for SAT Problem.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998