المؤلفون: Shahmiri, M.M., Alizadeh, B.

المصدر: IEEE Transactions on Circuits and Systems II: Express Briefs IEEE Trans. Circuits Syst. II Circuits and Systems II: Express Briefs, IEEE Transactions on. 71(4):2039-2043 Apr, 2024

المؤلفون: Chao, Zhiteng, Zhang, Xindi, Huang, Junying, Ye, Jing, Cai, Shaowei, Li, Huawei, Li, Xiaowei

المصدر: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC) Design Automation Conference (ASP-DAC), 2024 29th Asia and South Pacific. :503-508 Jan, 2024

Relation: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)

المؤلفون: Soler Cabrejas, Juan Ramón

مرشدي الرسالة: Maña Serres, Felipe, Armengol Voltas, Eva

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Maxsat, Minsat, Tableaux semàntics, Tableaux semánticos, Semantic tableaux, Tecnologies

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/671710

المؤلفون: Hu, Yang, Wang, Wenxi, Khurshid, Sarfraz, McMillan, Kenneth L., Tiwari, Mohit

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :104-115 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Kochemazov, Stepan, Kondratiev, Victor, Gribanova, Irina

المصدر: 2023 46th MIPRO ICT and Electronics Convention (MIPRO) ICT and Electronics Convention (MIPRO), 2023 46th MIPRO. :1027-1032 May, 2023

Relation: 2023 46th MIPRO ICT and Electronics Convention (MIPRO)

المؤلفون: Preto, Sandro, Manya, Felip, Finger, Marcelo

المصدر: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ISMVL Multiple-Valued Logic (ISMVL), 2023 IEEE 53rd International Symposium on. :164-169 May, 2023

Relation: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)

المؤلفون: Weise, T., Wu, Z., Li, X., Chen, Y., Lassig, J.

المصدر: IEEE Transactions on Evolutionary Computation IEEE Trans. Evol. Computat. Evolutionary Computation, IEEE Transactions on. 27(4):980-992 Aug, 2023

المؤلفون: Seufert, T., Winterer, F., Scholl, C., Scheibler, K., Paxian, T., Becker, B.

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 42(4):1351-1364 Apr, 2023

المؤلفون: Gabàs Masip, Joel

المساهمون: University/Department: Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial

مرشدي الرسالة: Ansótegui Gil, Carlos José

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: MaxSAT, SAT, Optimització, Optimización, Optimization, Ciència de la computació i intel·ligència artificial

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/396610

المؤلفون: Subercaseaux, Bernardo^Aff9, Mackey, John^Aff9, Heule, Marijn J. H.^Aff9, Martins, Ruben^Aff9

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Kohlhase, Andrea, editor^Aff7, Kovács, Laura, editor^Aff8

المصدر: Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings. 14960:21-41