Constraint Checking for XML-Based Language Specification by SAT Solver

Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu. Constraint Checking for XML-Based Language Specification by SAT Solver. In Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010 - Companion Volume. pages 26-27, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.