Author:
Bruttomesso Roberto,Pek Edgar,Sharygina Natasha,Tsitovich Aliaksei
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. SMT-COMP,
http://www.smtcomp.org
2. Barrett, C., Sebastiani, R., Seshia, S., Tinelli, C.: Satisfiability Modulo Theories. In: Handbook on Satisfiability, vol. 185. IO Press (2009)
3. Bruttomesso, R.: An Extension of the Davis-Putnam Procedure and its Application to Preprocessing in SMT. In: SMT (2009)
4. Bruttomesso, R., Sharygina, N.: A Scalable Decision Procedure for Fixed-Width Bit-Vectors. In: ICCAD (2009)
5. Lecture Notes in Computer Science;S. Cotton,2006
Cited by
74 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hierarchical Resource Orchestration Framework for Real-time Containers;ACM Transactions on Embedded Computing Systems;2024-01-10
2. Picky CDCL: SMT-Solving with Flexible Literal Selection;Lecture Notes in Computer Science;2024
3. Satisfiability Modulo Custom Theories in Z3;Lecture Notes in Computer Science;2023
4. ALASCA: Reasoning in Quantified Linear Arithmetic;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. Formula Normalizations in Verification;Computer Aided Verification;2023