Author:
Scholl Christoph,Wimmer Ralf
Publisher
Springer International Publishing
Reference40 articles.
1. Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital Systems Testing and Testable Design. Computer Science Press, New York (1990)
2. Lecture Notes in Computer Science;A Ayari,2002
3. Balabanov, V., Chiang, H.K., Jiang, J.R.: Henkin quantifiers and Boolean formulae: a certification perspective of DQBF. Theoret. Comput. Sci. 523, 86–100 (2014).
https://doi.org/10.1016/j.tcs.2013.12.020
4. Beineke, L.W., Little, C.H.C.: Cycles in bipartite tournaments. J. Comb. Theory Ser. B 32(2), 140–145 (1982).
https://doi.org/10.1016/0095-8956(82)90029-6
5. Lecture Notes in Computer Science;O Beyersdorff,2016
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献