Decomposable negation normal form 论文

2001Journal of the ACM引用 332
DOI
Logic, Reasoning, and KnowledgeFormal Methods in VerificationConstraint Satisfaction and Optimization
Logic, Reasoning, and KnowledgeFormal Methods in VerificationConstraint Satisfaction and Optimization
相关技术:Formal Methods in VerificationConstraint Satisfaction and Optimization
关系图谱

Decomposable negation normal form · 作者

A

Adnan Darwiche