About
Posts In English
Bu¨chi Automata For Model Checking, Part I
Modeling a Transition System In SAT [pdf][LaTeX]
中文博文
旧物
计算春秋：6502
真菌、真菌、真菌
Short Notes
These are short notes I took on specific subjects. Most of them are not worth reading.
Notes on Basic Graph Theory