Publisher
Springer Nature Switzerland
Reference40 articles.
1. Adil, O., Ali, A., Sumait, B.: Comparison between the effects of different types of membership functions on fuzzy logic controller performance. Int. J. Emerging Eng. Res. Technol. 3, 76–83 (2015)
2. Ahmad, K., Mesiarova, A.: Choosing t-norms and t-conorms for fuzzy controllers, vol. 2, pp. 641–646 (2007). https://doi.org/10.1109/FSKD.2007.216
3. Ansótegui, C., Bofill, M., Manyà, F., Villaret, M.: Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers. In: 2012 IEEE 42nd International Symposium on Multiple-Valued Logic, pp. 25–30 (2012). https://doi.org/10.1109/ISMVL.2012.63
4. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016). http://www.SMT-LIB.org
5. Lecture Notes in Computer Science;C Barrett,2011