约束满足问题（CSP）是人工智能和计算机科学领域的一个重要研究课题，现实生活中的大量问题均可以适当地描述成一个CSP。由于受组合复杂性问题的制约，传统的CSP求解算法无法高效地求解大规模CSP。采用隐式的符号表示和操作技术是缓减乃至克服组合爆炸问题的一种可行策略。装配序列规划是产品设计生产过程中的重要环节，它极大地影响着装配成本及生产周期。装配序列规划的目标是求解满足各种装配约束条件的可行装配序列，通过适当描述，可将装配序列规划问题转化为约束满足问题。本文以有序二叉决策图和代数决策图为基础，对约束满足问题的符号求解技术进行了探索和研究；在此基础上，对装配序列规划问题的约束求解技术进行了研究。论文主要研究结果包括：1.对经典约束满足问题进行了研究。通过建立变量和变量域的二进制编码，以及约束的布尔特征函数表示，给出了经典CSP的有序二叉决策图（OBDD）描述。将经典CSP中的约束按变量在约束图中的度进行归类，结合问题归约法，提出了一种新的求解经典CSP的符号OBDD算法。为进一步提高算法的执行效率，结合桶消元算法，提出了经典CSP求解的符号OBDD桶消元算法。通过与传统桶消元算法和符号直接求解算法的实验对比，结果表明本文提出的两种符号算法均扩大了问题的求解规模，并提高了算法的执行效率。2.对加权约束满足问题（WCSP）进行了研究。通过对变量和变量域值的二进制编码，将WCSP转换成伪布尔函数表示，进而给出了WCSP的代数决策图（ADD）描述。在此基础上，将ADD的符号操作技术与分支定界搜索算法以及桶消元算法相结合，引入结点一致性预处理技术，在静态变量序的情况下给出了求解WCSP的符号ADD算法。为了进一步提高该算法的搜索下界，通过引入有向弧一致性计数技术，给出了另一种符号ADD求解算法。对大量随机生成的测试用例进行实验分析，结果表明本文提出的两种符号算法在性能上明显优于带有结点一致性或存在有向弧一致性技术的具有前向检查功能的深度优先分支定界搜索算法。3.对装配体模型及装配序列的符号OBDD表示进行了研究。通过对装配体中零件的二进制编码，基于符号OBDD技术，给出了装配体联结图和Gottipolu装配体模型的OBDD描述。建立了装配状态和装配任务的布尔函数表示，给出了装配序列的符号OBDD表示。建立了从装配序列的AND/OR图模型到OBDD表示的转换规则，给出了AND/OR图的符号OBDD表示。通过与装配序列表示的与或图模型、有向图模型的实验对比，结果表明，装配序列的符号OBDD表示具有较高的存储效率，适合于复杂装配体的可行装配序列的描述。4.基于拆卸法对装配序列规划问题进行了研究。通过对无向图的OBDD表示的重新分析，给出了装配联接图的新的OBDD表示和移动向量函数的共享二叉决策图（SBDD）表示。针对无向图G，给出了求解图G的顶点子集的导出子图的符号OBDD技术和判定图G的连通性的符号OBDD技术，并在此基础上，基于Sharafat递归收缩算法的思想，给出了求解无向图G的所有割集的符号OBDD算法。基于装配联接图和移动向量函数的新的符号表示模型，将符号OBDD割集算法与装配序列的割集分解法相结合，利用OBDD的符号操作实现装配操作的几何可行性分析，给出了装配序列的符号OBDD分解算法。通过装配体实验验证了基于分解法的装配序列的符号OBDD算法的正确性和可行性。5.基于装配法对装配序列规划问题进行了研究。以装配联接图和移动向量函数为装配体模型，给出了装配联接图的SBDD表示，移动向量函数的OBDD表示。建立了装配序列规划问题的CSP模型，将装配序列规划问题描述成为一个CSP问题。将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题，利用回溯算法对CSP问题进行符号OBDD求解，给出了基于CSP模型的装配序列生成的符号OBDD算法。通过装配体实验验证了基于CSP模型的可行装配序列的符号OBDD生成技术的正确性和可行性。