Author:
Brain Martin,D’Silva Vijay,Haller Leopold,Griggio Alberto,Kroening Daniel
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Badban, B., van de Pol, J., Tveretina, O., Zantema, H.: Generalizing DPLL and satisfiability for equalities. Inf. Comput. 205(8) (2007)
2. Lecture Notes in Artificial Intelligence;C. Barrett,2006
3. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability. IOS Press (2009)
4. Lecture Notes in Computer Science;S. Cotton,2010
5. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL (1979)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated generation of consistent models using qualitative abstractions and exploration strategies;Software and Systems Modeling;2021-09-17
2. Automated generation of consistent models with structural and attribute constraints;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16
3. Satisfiability Modulo Theories;Handbook of Model Checking;2018
4. Automatic Generation of Propagation Complete SAT Encodings;Lecture Notes in Computer Science;2015-12-25
5. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14