Satisfiability Modulo Theories and Assignments-Reference-Cited by-同舟云学术

Satisfiability Modulo Theories and Assignments

Published:2017 Issue: Volume: Page:42-59
ISSN:0302-9743
Container-title:Automated Deduction – CADE 26
language:
Short-container-title:

Author:

Bonacina Maria Paola,Graham-Lengrand Stéphane,Shankar Natarajan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-63046-5_4

Reference19 articles.

1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Barrett,2006

2. Bonacina, M.P.: On conflict-driven reasoning. In: Dutertre, B., Shankar, N. (eds.) Proceedings of the Sixth Workshop on Automated Formal Methods (AFM), at the Ninth NASA Formal Methods Symposium (NFM), pp. 1–9 (2017, to appear). http://fm.csl.sri.com/AFM17/

3. Bonacina, M.P., Graham-Lengrand, S., Shankar, N.: A model-constructing framework for theory combination. Technical Report 99/2016, Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy, EU. https://hal.archives-ouvertes.fr/hal-01425305 , also Technical report of SRI International and INRIA - CNRS - École Polytechnique; Revised April 2017

4. Lecture Notes in Computer Science;S Cotton,2010

5. Lecture Notes in Computer Science;L Moura,2013

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

1. Unifying Splitting;Journal of Automated Reasoning;2023-04-28

2. SAT-Inspired Eliminations for Superposition;ACM Transactions on Computational Logic;2023-01-18

3. ALASCA: Reasoning in Quantified Linear Arithmetic;Tools and Algorithms for the Construction and Analysis of Systems;2023

4. Context-Aware Digital Twins to Support Software Management at the Edge;Lecture Notes in Business Information Processing;2023

5. Model-based fleet deployment in the IoT–edge–cloud continuum;Software and Systems Modeling;2022-05-03