Efficient Satisfiability Modulo Theories via Delayed Theory Combination-Reference-Cited by-同舟云学术

Efficient Satisfiability Modulo Theories via Delayed Theory Combination

Published:2005 Issue: Volume: Page:335-349
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bozzano Marco,Bruttomesso Roberto,Cimatti Alessandro,Junttila Tommi,Ranise Silvio,van Rossum Peter,Sebastiani Roberto

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11513988_34

Reference29 articles.

1. Ackermann, W.: Solvable Cases of the Decision Problem. North Holland Pub. Co., Amsterdam (1954)

2. Lecture Notes in Computer Science;A. Armando,2005

3. Lecture Notes in Computer Science;T. Ball,2004

4. Lecture Notes in Computer Science;C. Barrett,2004

5. Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., Ranise, S., van Rossum, P., Sebastiani, R.: Efficient Theory Combination via Boolean Search. Technical Report T05-04-02, ITC-IRST (2005)

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Theory Combination: Beyond Equality Sharing;Lecture Notes in Computer Science;2019

2. Parallel Satisfiability Modulo Theories;Handbook of Parallel Constraint Reasoning;2018

3. Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system;International Journal on Software Tools for Technology Transfer;2015-09-23

4. Resolution proof transformation for compression and interpolation;Formal Methods in System Design;2014-04-27

5. Quantifier-free interpolation in combinations of equality interpolating theories;ACM Transactions on Computational Logic;2014-02