يعرض 1 - 10 نتائج من 123 نتيجة بحث عن '"satisfiability modulo theories (SMT)"', وقت الاستعلام: 0.91s تنقيح النتائج
  1. 1
    مؤتمر

    المصدر: 2024 47th MIPRO ICT and Electronics Convention (MIPRO) MIPRO ICT and Electronics Convention (MIPRO), 2024 47th. :1329-1332 May, 2024

    Relation: 2024 47th MIPRO ICT and Electronics Convention (MIPRO)

  2. 2
    دورية أكاديمية

    المؤلفون: Xu, Q., Liu, Y., Pan, J., Wang, J., Li, K.

    المصدر: IEEE Transactions on Industrial Electronics IEEE Trans. Ind. Electron. Industrial Electronics, IEEE Transactions on. 70(3):2982-2992 Mar, 2023

  3. 3
    مؤتمر

    المصدر: 2022 5th International Conference on Hot Information-Centric Networking (HotICN) Hot Information-Centric Networking (HotICN), 2022 5th International Conference on. :111-118 Nov, 2022

    Relation: 2022 5th International Conference on Hot Information-Centric Networking (HotICN)

  4. 4
    مؤتمر

    المؤلفون: Wang, Xuan, Qian, Weikang

    المصدر: 2022 IEEE International Symposium on Circuits and Systems (ISCAS) Circuits and Systems (ISCAS), 2022 IEEE International Symposium on. :677-681 May, 2022

    Relation: 2022 IEEE International Symposium on Circuits and Systems (ISCAS)

  5. 5
    مؤتمر

    المصدر: 2022 23rd International Symposium on Quality Electronic Design (ISQED) Quality Electronic Design (ISQED), 2022 23rd International Symposium on. :1-6 Apr, 2022

    Relation: 2022 23rd International Symposium on Quality Electronic Design (ISQED)

  6. 6
    كتاب إلكتروني

    المؤلفون: Tsiskaridze, NestanAff27, Barrett, ClarkAff27, Tinelli, CesareAff28

    المساهمون: Hartmanis, Juris, Founding EditorAff1, van Leeuwen, Jan, Series EditorAff2, Hutchison, David, Editorial Board MemberAff3, Kanade, Takeo, Editorial Board MemberAff4, Kittler, Josef, Editorial Board MemberAff5, Kleinberg, Jon M., Editorial Board MemberAff6, Kobsa, Alfred, Series EditorAff7, Mattern, Friedemann, Editorial Board MemberAff8, Mitchell, John C., Editorial Board MemberAff9, Naor, Moni, Editorial Board MemberAff10, Nierstrasz, Oscar, Series EditorAff11, Pandu Rangan, C., Editorial Board MemberAff12, Sudan, Madhu, Series EditorAff13, Terzopoulos, Demetri, Editorial Board MemberAff14, Tygar, Doug, Editorial Board MemberAff15, Weikum, Gerhard, Series EditorAff16, Vardi, Moshe Y, Series EditorAff17, Goos, Gerhard, Founding EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Benzmüller, Christoph, editorAff24, Heule, Marijn J.H., editorAff25, Schmidt, Renate A., editorAff26

    المصدر: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:458-479

  7. 7
    مؤتمر

    المؤلفون: Wang, Xuan, Chu, Zhufei, Qian, Weikang

    المصدر: 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD) Computer Aided Design (ICCAD), 2021 IEEE/ACM International Conference On. :1-9 Nov, 2021

    Relation: 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)

  8. 8
    دورية أكاديمية

    المؤلفون: Lee, D., Ho, C., Kang, I., Gao, S., Lin, B., Cheng, C.

    المصدر: IEEE Journal on Exploratory Solid-State Computational Devices and Circuits IEEE J. Explor. Solid-State Comput. Devices Circuits Exploratory Solid-State Computational Devices and Circuits, IEEE Journal on. 7(1):52-60 Jun, 2021

  9. 9
    دورية أكاديمية

    المؤلفون: Dunn, S., Kugler, H., Yordanov, B.

    المصدر: IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. and Bioinf. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 18(1):261-271 Jan, 2021

  10. 10
    كتاب إلكتروني

    المؤلفون: Reholt, Jonas WolpersAff9, Glück, RobertAff9, Kruse, MatthisAff10

    المساهمون: Goos, Gerhard, Founding 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, Kutrib, Martin, editorAff7, Meyer, Uwe, editorAff8

    المصدر: Reversible Computation : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. 13960:106-114