2006 |
8 | EE | Ge Wang,
Wenxiang Cong,
Yi Li,
Weimin Han,
Durai Kumar,
Xin Qian,
Haiou Shen:
Recent development in bioluminescence tomography.
ISBI 2006: 678-681 |
2005 |
7 | EE | Haiou Shen,
Hantao Zhang:
Another Complete Local Search Method for SAT.
LPAR 2005: 595-605 |
6 | EE | Haiou Shen,
Hantao Zhang:
Improving exact algorithms for MAX-2-SAT.
Ann. Math. Artif. Intell. 44(4): 419-436 (2005) |
2004 |
5 | | Haiou Shen,
Hantao Zhang:
Study of Lower Bound Functions for MAX-2-SAT.
AAAI 2004: 185-190 |
4 | EE | Haiou Shen,
Hantao Zhang:
Improving Exact Algorithms for MAX-2-SAT.
AMAI 2004 |
3 | EE | Hantao Zhang,
Dapeng Li,
Haiou Shen:
A SAT Based Scheduler for Tournament Schedules.
SAT 2004 |
2003 |
2 | EE | Hantao Zhang,
Haiou Shen,
Felip Manyà:
Exact Algorithms for MAX-SAT.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
1 | EE | Haiou Shen,
Hantao Zhang:
An Empirical Study of MAX-2-SAT Phase Transitions.
Electronic Notes in Discrete Mathematics 16: 80-92 (2003) |