APA (7th ed.) Citation

Riaza, J. A., & Moreno, G. (2020, July). Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs. IEEE International Fuzzy Systems conference proceedings, 1-8. https://doi.org/10.1109/FUZZ48607.2020.9177798

Chicago Style (17th ed.) Citation

Riaza, Jose A., and Gines Moreno. "Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs." IEEE International Fuzzy Systems Conference Proceedings Jul. 2020: 1-8. https://doi.org/10.1109/FUZZ48607.2020.9177798.

MLA (9th ed.) Citation

Riaza, Jose A., and Gines Moreno. "Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs." IEEE International Fuzzy Systems Conference Proceedings, Jul. 2020, pp. 1-8, https://doi.org/10.1109/FUZZ48607.2020.9177798.