Xinkai Feng
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
A New Branch and Bound Method for Incremental Satisfiability Problem.
Proceedings of the International Conference on Computational Intelligence, 2004