Publications

2010

  1. An Article
    Me, Myself, and Others, Them
    Some important journal, 2010

2008

  1. The Ruby Programming Language
    Flanagan, David, and Matsumoto, Yukihiro
    2008

2006

  1. On Solving the Partial MAX-SAT Problem
    Fu, Zhaohui, and Malik, Sharad
    In Theory and Applications of Satisfiability Testing — SAT 2006, 9th International Conference, Seattle, WA, USA, August 12–15, 2006, Proceedings, vol. 4121, pp. 252–265, 2006