Author:
Barrett Clark,Nieuwenhuis Robert,Oliveras Albert,Tinelli Cesare
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;C.W. Barrett,2005
2. Barrett, C., Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Splitting on demand in satisfiability modulo theories. Technical report. University of Iowa (2006), Available at: ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BarNOT-RR-06.pdf
3. Barrett, C.W.: Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories. PhD thesis, Stanford University (2003)
4. Lecture Notes in Computer Science;C.W. Barrett,2004
5. Lecture Notes in Computer Science;C.W. Barrett,2002
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献