Coll, J., Li, C. M., Manyà, F., & Yangin, E. (2025). Complete tableau calculi for Regular MaxSAT and Regular MinSAT.
Citación estilo ChicagoColl, Jordi, Chu Min Li, Felip Manyà, y Elifnaz Yangin. Complete Tableau Calculi for Regular MaxSAT and Regular MinSAT. 2025.
Cita MLAColl, Jordi, Chu Min Li, Felip Manyà, y Elifnaz Yangin. Complete Tableau Calculi for Regular MaxSAT and Regular MinSAT. 2025.
Precaución: Estas citas no son 100% exactas.