Author:
Feldman Yotam M. Y.,Shoham Sharon
Publisher
Springer Nature Switzerland
Reference42 articles.
1. Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319–342 (1987)
2. Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic model checking without BDDs. In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS 1999, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, 22–28 March 1999, pp. 193–207 (1999). https://doi.org/10.1007/3-540-49059-0_14,https://doi.org/10.1007/3-540-49059-0_14
3. Bjørner, N., Gurfinkel, A., Korovin, K., Lahav, O.: Instantiations, zippers and EPR interpolation. In: LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 12–17 December 2013, Stellenbosch, South Africa, Short Papers Proceedings, pp. 35–41 (2013). https://easychair.org/publications/paper/XtN
4. Bradley, A.R.: Sat-based model checking without unrolling. In: Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, 23–25 January 2011. Proceedings, pp. 70–87 (2011). https://doi.org/10.1007/978-3-642-18275-4_7, https://dx.doi.org/10.1007/978-3-642-18275-4_7
5. Bshouty, N.H.: Exact learning Boolean function via the monotone theory. Inf. Comput. 123(1), 146–153 (1995)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献