Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

Filter

فلترة النتائج

Content Provider : Academic Search Ultimate

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem.

Authors : Zhang, Zhidong¹ (AUTHOR)

Source: Mathematics (2227-7390). Jan2023, Vol. 11 Issue 1, p237. 13p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions.

Authors : Semenov, Alexander¹ ; Zaikin, Oleg¹

Source: SpringerPlus. 4/30/2016, Vol. 5 Issue 1, p1-16. 16p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better.

Authors : Bennakhi, Ahmad¹ (AUTHOR) ; Byrd, Gregory T.¹ (AUTHOR); Franzon, Paul¹ (AUTHOR)

Source: Entropy. Oct2024, Vol. 26 Issue 10, p875. 21p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

结合变量决策层和全局学习率的启发式优化算法.

Authors : 何飞¹; 王晓峰^1,2 ; 唐傲¹

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Feb2025, Vol. 42 Issue 2, p441-447. 7p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Qualitative analysis of the dynamics of controlled singular logic networks.

Authors : Oparin, Gennady¹ ; Bogdanova, Vera¹; Pashinin, Anton¹

Source: Mathematics in Engineering, Science & Aerospace (MESA). 2024, Vol. 15 Issue 1, p31-41. 11p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

基于 SAT 问题实例特性的端到端 SAT 求解模型.

Authors : 龙峥嵘¹; 李金龙¹ ; 梁永濠¹

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Nov2024, Vol. 41 Issue 11, p3376-3381. 6p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Implicit Boolean networks and their application to combinatorial problems.

Authors : Oparin, Gennady¹ ; Bogdanova, Vera¹; Pashinin, Anton¹

Source: Mathematics in Engineering, Science & Aerospace (MESA). 2022, Vol. 13 Issue 1, p25-35. 11p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

基于改进连续时间动态系统的模拟 SAT 求解器.

Authors : 赵海军¹ ; 陈华月¹; 崔梦天²

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Jan2024, Vol. 41 Issue 1, p200-205. 6p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Technology of logical synthesis of periodic trajectory in a controlled Boolean network.

Authors : Oparin, Gennady¹ ; Bogdanova, Vera¹; Pashinin, Anton¹

Source: Mathematics in Engineering, Science & Aerospace (MESA). 2024, Vol. 15 Issue 1, p57-69. 13p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Dynamics of controlled asynchronous Boolean networks.

Authors : Oparin, Gennady¹ ; Bogdanova, Vera¹; Pashinin, Anton¹

Source: Mathematics in Engineering, Science & Aerospace (MESA). 2024, Vol. 15 Issue 1, p43-55. 13p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem.

Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions.

Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better.

结合变量决策层和全局学习率的启发式优化算法.

Qualitative analysis of the dynamics of controlled singular logic networks.

基于 SAT 问题实例特性的端到端 SAT 求解模型.

Implicit Boolean networks and their application to combinatorial problems.

基于改进连续时间动态系统的模拟 SAT 求解器.

Technology of logical synthesis of periodic trajectory in a controlled Boolean network.

Dynamics of controlled asynchronous Boolean networks.

اتصل بنا

اتبع