Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference12 articles.
1. A. Atserias, P.G. Kolaitis, M.Y. Vardi, Constraint propagation as a proof system, in: CP, 2004, pp. 77–91
2. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
3. The relative efficiency of propositional proof systems;Cook;J. Symbolic Logic,1979
4. On the complexity of cutting-plane proofs;Cook;Discrete Appl. Math.,1987
5. Resolution and binary decision diagrams cannot simulate each other polynomially;Groote;Discrete Appl. Math.,2003
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献