Haiou Shen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2005
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | LPAR | Another Complete Local Search Method for SAT. | Haiou Shen, Hantao Zhang |
| 2004 | AAAI | Study of Lower Bound Functions for MAX-2-SAT. | Haiou Shen, Hantao Zhang |
| 2004 | ISAIM | Improving Exact Algorithms for MAX-2-SAT. | Haiou Shen, Hantao Zhang |
| 2004 | SAT | A SAT Based Scheduler for Tournament Schedules. | Hantao Zhang, Dapeng Li, Haiou Shen |