يعرض 1 - 10 نتائج من 4,005 نتيجة بحث عن '"Boolean satisfiability problem"', وقت الاستعلام: 1.68s تنقيح النتائج
  1. 1
    مؤتمر
    Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams

    المؤلفون: Kondratiev, Victor, Otpuschennikov, Ilya, Semenov, Alexander

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

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

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    The Study of the Target Set Selection Problem under Deterministic Linear Threshold Model Using Evolutionary Algorithms

    المؤلفون: Smirnov, Mikhail, Kochemazov, Stepan, Semenov, Alexander

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

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

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability

    المؤلفون: Pavlenko, Artem, Chivilikhin, Daniil, Semenov, Alexander

    المصدر: 2022 IEEE Congress on Evolutionary Computation (CEC) Evolutionary Computation (CEC), 2022 IEEE Congress on. :1-8 Jul, 2022

    Relation: 2022 IEEE Congress on Evolutionary Computation (CEC)

    أضف إلى المفضلة
  4. 4
    مؤتمر
    Implicit Boolean Network for Planning Actions

    المؤلفون: Oparin, G. A., Bogdanova, V. G., Pashinin, A. A.

    المصدر: 2022 45th Jubilee International Convention on Information, Communication and Electronic Technology (MIPRO) Information, Communication and Electronic Technology (MIPRO), 2022 45th Jubilee International Convention on. :871-876 May, 2022

    Relation: 2022 45th Jubilee International Convention on Information, Communication and Electronic Technology (MIPRO)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms

    المؤلفون: Kondratiev, Victor

    المصدر: 2022 45th Jubilee International Convention on Information, Communication and Electronic Technology (MIPRO) Information, Communication and Electronic Technology (MIPRO), 2022 45th Jubilee International Convention on. :883-887 May, 2022

    Relation: 2022 45th Jubilee International Convention on Information, Communication and Electronic Technology (MIPRO)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    A Grover based Quantum Algorithm for Finding Pure Nash Equilibria in Graphical Games

    المؤلفون: Roch, Christoph, Londono Castillo, Santiago, Linnhoff-Popien, Claudia

    المصدر: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C) ICSA-C Software Architecture Companion (ICSA-C), 2022 IEEE 19th International Conference on. :147-151 Mar, 2022

    Relation: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C)

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Real-Time Resource Allocation in Passive Optical Network for Energy-Efficient Inference at GPU-Based Network Edge

    المؤلفون: Nakayama, Y., Onodera, Y., Nguyen, A.H.N., Hara-Azumi, Y.

    المصدر: IEEE Internet of Things Journal IEEE Internet Things J. Internet of Things Journal, IEEE. 9(18):17348-17358 Sep, 2022

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    مؤتمر
    SAT Solvers Application of Deriving All Test Pairs Detecting Robust Testable PDFs

    المؤلفون: Matrosova, A.Yu., Andreeva, V.V., Tychinskiy, V.Z.

    المصدر: 2021 IEEE East-West Design & Test Symposium (EWDTS) East-West Design & Test Symposium (EWDTS), 2021 IEEE. :1-4 Sep, 2021

    Relation: 2021 IEEE East-West Design & Test Symposium (EWDTS)

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers

    المؤلفون: Kondratiev, Victor, Otpuschennikov, Ilya, Semenov, Alexander

    المصدر: 2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO) Information, Communication and Electronic Technology (MIPRO), 2020 43rd International Convention on. :1046-1051 Sep, 2020

    Relation: 2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Constructing a Set of Weak Values for Full-round MD4 Hash Function

    المؤلفون: Gribanova, Irina, Semenov, Alexander

    المصدر: 2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO) Information, Communication and Electronic Technology (MIPRO), 2020 43rd International Convention on. :1212-1217 Sep, 2020

    Relation: 2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء