Author:
Nikitchenko Mykola S.,Tymofieiev Valentyn G.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman & Hall, London (1997)
2. Kroening, D., Strichman, O.: Decision Procedures – an Algorithmic Point of View. Springer, Heidelberg (2008)
3. Marques-Silva, J.: Practical Applications of Boolean Satisfiability. In: Workshop on Discrete Event Systems, Goteborg, Sweden, May 28-30, pp. 74–80 (2008)
4. Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving SAT and SAT modulo theories: from an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). J. ACM 53, 937–977 (2006)
5. de Moura, L., Bjørner, N.: Satisfiability Modulo Theories: Introduction and Applications. Comm. ACM 54(9), 69–77 (2011)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computational properties of the logic of partial quasiary predicates;Conference of the South African Institute of Computer Scientists and Information Technologists 2020;2020-09-11
2. Extending Floyd-Hoare Logic for Partial Pre- and Postconditions;Information and Communication Technologies in Education, Research, and Industrial Applications;2013