Author:
Rollini Simone Fulvio,Bruttomesso Roberto,Sharygina Natasha
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Amjad, H.: Compressing Propositional Refutations. In: AVoCS, pp. 7–18 (2006)
2. Amjad, H.: Data Compression for Proof Replay. J. Autom. Reasoning 41(3/4) (2008)
3. Lecture Notes in Computer Science;N. Amla,2003
4. Lecture Notes in Computer Science;O. Bar-Ilan,2009
5. Bruttomesso, R., Rollini, S.,Sharygina, N., Tsitovich, A.: Flexible Interpolation with Local Proof Transformations. In: ICCAD (2010),
http://www.inf.usi.ch/postdoc/bruttomesso/ICCAD2010
(to appear)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献