位置：成果数据库 > 期刊 > 期刊详情页
间接使用扩展规则求解#SAT问题
  • 期刊名称：吉林大学学报(工学版), 2011, 41(4): 1047-1053. (EI: 20113014
  • 时间：0
  • 相关项目：基于模型的诊断若干关键问题研究及其在配置中的应用
同期刊论文项目
基于模型的诊断若干关键问题研究及其在配置中的应用
期刊论文 65 会议论文 6
同项目期刊论文
基于GPU的混合精度平方根共轭梯度算法
不完备模型下的离散事件系统诊断方法
Optimize Diagnosability and Sensor Placement in Discrete Event System
A Novel Hybrid Differential Evolution and Particle Swarm Optimization Algorithm for Unconstrained Op
Deriving all minimal consistency-based diagnosis sets using SAT?solvers
基于等价类划分的配置求解与解释计算研究
产品配置器的设计
图分割在Singleton弧相容算法中的应用
在离散事件系统中寻找诊断路径的方法
基于模型诊断的改进贝叶斯方法
离散时间系统的同步诊断算法
Model Counting with Boolean algebra and Extension Rule
结合增量与启发式搜索的多目标问题处理方法
基于具有自适应与自学习能力的粒子群优化算法的车间调度算法
使用SAT求解器产生所有极小冲突部件集
基于ATMS的冲突识别及诊断测量方法
基于动态值启发式的约束满足求解算法
基于模型诊断的抽象分层过程
混合语义约简和选择估值优化SPARQL
Dynamic Theorem Proving Algorithm for Consistency-based Diagnosis
无环配置问题研究
一个结合多方面定性空间信息的新方法
一种动态定性空间关系自动规划方法
电子细胞Analog-Cell的并发机制
The Modeling Procedures for Model-Based Diagnosis of Slowly Changing Fault in Hybrid System
An Efficient Lightweight RFID Authentication Protocol for Low-cost Tags
Verilog Combinational Equivalence Checking based on SMT Constraint Solver
A new qualitative spatial reasoning model for natural language understanding
基于动态极大度的极小碰集求解方法
基于模型的混杂系统中控制器故障诊断方法
关于改进求解约束满足问题粗粒度弧相容算法的研究
约束分解技术回顾与展望.
一种基于环切割的约束满足问题求解算法.
Eliminating Repeated Constraint Checks in MaxRPC Algorithms.
基于AC-4的动态值启发式约束满足问题求解算法.
动态不确定环境下多目标路径规划方法
A Self-adaptive Differential Evolution Algorithm for Binary CSPs
Translation of SPARQL to SQL based on Integrity Constraint
一种用于常识空间信息处理的定性空间关系模型
利用标志传播求解基于模型的故障诊断
基于分割的超树分解方法
一种基于环切割的约束满足问题求解算法
基于等价类划分的配置求解与解释计算
改进求解约束满足问题粗粒度弧相容算法
Mapping integrity constraint ontology to relational databases
一种基于图形处理器的频繁模式挖掘算法
一种基于图形处理器的压缩单纯形方法
基于语义的主题爬行策略