Author:
de Moura Leonardo,Jovanović Dejan
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Artificial Intelligence;C. Barrett,2006
2. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability. IOS Press (2009)
3. Brummayer, R., Biere, A.: Lemmas on Demand for the Extensional Theory of Arrays. Journal on Satisfiability, Boolean Modeling and Computation 6 (2009)
4. Lecture Notes in Computer Science;S. Cotton,2010
5. de Moura, L., Bjørner, N.: Model-based Theory Combination. In: Satisfiability Modulo Theories. ENTCS, vol. 198, pp. 37–49 (2008)
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献