Author:
Bubeck U.,Kleine Büning H.
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference11 articles.
1. The equivalence of Horn and network complexity for Boolean functions;Anderaa;Acta Inform.,1981
2. Queries and concept learning;Angluin;Mach. Learn.,1988
3. A note on disjunctive form tautologies;Bauer;SIGACT News,1973
4. Nested Boolean functions as models for quantified Boolean formulas;Bubeck,2013
5. Equivalence checking for partial implementations revisited;Gitina,2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献