(aside image)

Guohua Liu

PhD and Postdoctoral Research Fellow

Office:
Room B248 in Computer Science Building,
Konemiehentie 2, Otaniemi, Espoo
Postal Address:
Aalto University School of Science,
Department of Information and Computer Science,
P.O. Box 15400, FI-00076 Aalto, Finland
Telephone:
+358 417432140
Fax:
+358 947023369
Email:
guohua.liu@aalto.fi

About Me

I am a postdoctoral researcher in the computational logic group led by Professors Ilkka Niemelä and Tomi Janhunen. My research interests include Logic Programming, SAT Modulo Theories, Constraint Satisfaction Problems, and Knowledge representation and Reasoning, and Artificial Intelligence in general.

Curriculum Vitae

Publications

  1. Answer Set Programming via Mixed Integer Programming (PDF). KR 2012, To appear.
    Guohua Liu, Tomi Janhunen, Ilkka Niemelä.
  2. Relating Weight Constraint and Aggregate Programs: Semantics and Representations (PDF). Theory and Practice of Logic Programming 2011.
    Guohua Liu, Jia-Huai You.
  3. Strong Equivalence of Logic Programs with Abstract Constraint Atoms (PDF). Proc. LPNMR 2011.
    Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You.
  4. Tight Integration of Non-Ground Answer Set Programming and Satisfiability Modulo Theories (PDF). Proc. GTTV 2011.
    Tomi Janhunen, Guohua Liu, Ilkka Niemelä,
  5. Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs (PDF). Fundamenta Informaticae 101(3) 2010.
    Guohua Liu, Jia-Huai You.
  6. Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs (PDF). Proc. LPNMR 2009.
    Guohua Liu, Jia-Huai You.
  7. Loop Formulas for Logic Programs with Arbitrary Constraint Atoms (PDF). Proc. AAAI 2008.
    Guohua Liu, Jia-Huai You.
  8. Lparse Programs Revisited: Semantics and Representation of Aggregates (PDF). Proc. ICLP 2008.
    Guohua Liu, Jia-Huai You.
  9. Adaptive Lookahead for Answer Set Computation (PDF). Proc. ICTAI 2007.
    Guohua Liu, Jia-Huai You.
  10. On the Effectiveness of Looking Ahead in Search for Answer Sets (PDF). Proc. LPNMR 2007.
    Guohua Liu, Jia-Huai You.
  11. Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities (PDF). Proc. LPNMR 2007.
    Jia-Huai You, Guohua Liu.
  12. Lookahead in Smodels Compared to Local Consistencies in CSP (PDF). Proc. LPNMR 2005.
    Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko.
  13. Design Verification of a General-purposed CPU Chip via Simulation. China National Test Conference 2003.
    Tao Lv, Huawei Li, Zhigang Yin, Guohua Liu Xiaowei Li, Jianping Fan.
  14. Hazard Detection and Elimination in Integrated Circuits. Computer Engineering and Applications 2002.
    Guohua Liu, Xiaoyang Yu, Yinghua Min, Xiaowei Li.
  15. Design Verification via Simulation: Techniques and Their Application in a General-purposed CPU Chip. Journal of System Simulation 2002.
    Tao Lv, Huawei Li, Zhigang Yin Guohua Liu Xiaowei Li, Jianping Fan.
  16. Hazard Detection and Elimination in Integrated Circuits. China National Conference on Fault Tolerant Computing 2001.
    Tao Lv, Huawei Li, Zhigang Yin Guohua Liu Xiaowei Li, Jianping Fan.

Patent

  1. A Time Delay Based Approach for Hazard Detection and Elimination in Integrated Circuits China ZL03125127.7. Guohua Liu, Xiaowei Li.

Software

  1. Benchmarks (657M) Descriptions, encodings, and instances used for the CP 2012 submission.