Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference6 articles.
1. On renamable and generalized Horn functions;Chandru;Ann. Math. Artificial Intelligence,1990
2. Ramsey Theory;Graham,1990
3. Renaming a set of clauses as a Horn set;Lewis;J. ACM,1978
4. Integer and Combinatorial Optimization;Nemhauser,1988
5. A machine-oriented logic based on the resolution principle;Robinson;J. ACM,1965
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献