Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Biere, A.: PicoSAT essentials. JSAT 4(2-4), 75–97 (2008)
3. Bledsoe, W.W.: Non-resolution theorem proving. Artificial Intelligence 9, 1–36 (1977)
4. Bledsoe, W.W.: Non-resolution theorem proving. Artificial Intelligence 9, 1–36 (1977)
5. Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press, New York (1979)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献