![](/img/cover-not-exists.png)
[IEEE 2006 International Conference on Computational Intelligence and Security - Guangzhou, China (2006.11.3-2006.11.6)] 2006 International Conference on Computational Intelligence and Security - Reasoning about Knowledge by SAT Solving
Su, Kaile, Chen, Qingliang, Zheng, Xizhong, Yue, WeiyaYear:
2006
Language:
english
DOI:
10.1109/iccias.2006.294192
File:
PDF, 195 KB
english, 2006