 | 2007 |
|---|
| 5 |       | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
The island confinement method for reducing search space in local search methods.
J. Heuristics 13(6): 557-585 (2007) |
| 2006 |
|---|
| 4 | | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Islands for SAT
CoRR abs/cs/0607071: (2006) |
| 2004 |
|---|
| 3 |  | Hai Fang,
Wheeler Ruml:
Complete Local Search for Propositional Satisfiability.
AAAI 2004: 161-166 |
| 2003 |
|---|
| 2 | | Juan Chen,
Dinghao Wu,
Andrew W. Appel,
Hai Fang:
A provably sound TAL for back-end optimization.
PLDI 2003: 208-219 |
| 2002 |
|---|
| 1 | | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Reducing Search Space in Local Search for Constraint Satisfaction.
AAAI/IAAI 2002: 28-33 |
