-
1دورية أكاديمية
المؤلفون: 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
-
2مؤتمر
المؤلفون: 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)
-
3رسالة جامعية
المؤلفون: 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
-
4مؤتمر
المؤلفون: 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)
-
5مؤتمر
المؤلفون: 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)
-
6مؤتمر
المؤلفون: 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)
-
7دورية أكاديمية
المؤلفون: 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
-
8دورية أكاديمية
المؤلفون: 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
-
9رسالة جامعية
المؤلفون: 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
-
10كتاب إلكتروني
المؤلفون: Subercaseaux, BernardoAff9, Mackey, JohnAff9, Heule, Marijn J. H.Aff9, Martins, RubenAff9
المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Kohlhase, Andrea, editorAff7, Kovács, Laura, editorAff8
المصدر: Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings. 14960:21-41