Hai Fang

Publications

• Complete Local Search for Propositional Satisfiability. © American Association for Artificial Intelligence (AAAI)
  Hai Fang and Wheeler Ruml.
  In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI'04), pages 161-166, July 2004.
  PDF[131KB], PostScript[135KB], PS.gz[55KB], PostScript Slides[222KB]
  

• A Provably Sound TAL for Back-end Optimization. © Association for Computing Machinery (ACM)
  Juan Chen, Dinghao Wu, Andrew W. Appel, and Hai Fang.
  In Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'03), pages 208-219, June 2003.
  PDF[191KB], PostScript[815KB], PS.gz[425KB]
  

• Reducing Search Space in Local Search for Constraint Satisfaction. © American Association for Artificial Intelligence (AAAI)
  Hai Fang, Yousef Kilani, Jimmy H. M. Lee, and Peter J. Stuckey.
  In Proceedings of the 18th National Conference on Artificial Intelligence (AAAI'02), pages 28-33, July 2002.
  PDF[133KB], PostScript[164KB], PS.gz[69KB]
  

Code

• Wheeler Ruml and I entered CLS, a SAT solver based on the complete local search algorithm, to the SAT'04 competition.
  You can download the C source code of CLS (version 04.55) here; see our AAAI'04 paper for more details or a shorter description of the solver.
  Please send me email for further questions about the solver.
  
• I have worked out a solution based on local search to the optimal coalescing challenge for register allocation. The description of the challenge and the solution set of my algorithm can be found at here.