:::
研討會論文
論文名稱(篇名)解可滿足性問題之新區域搜尋演算法
會議名稱Proceedings of 2009 National Computer Symposium
作者中文名曾怜玉
作者英文名Tseng Lin-Yu
全部作者曾怜玉*, 林祐安
使用語言 
cron web_use_log