An algorithm for solving thesatisfiability problem is presented. It is proved that this algorithmsolves 2-SAT and Horn-S......

内容适配技术是实现通用多媒体访问的主流技术,如何实现内容适配系统是内容适配技术研究中的重要问题。基于SOA架构设计并实现内容......