Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-6 ل  6 نتائج ل ""Boolean satisfiability problem""

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

إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Implicit Boolean networks and their application to combinatorial problems.

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

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

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

An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle.

  • Source: Algorithms. Dec2022, Vol. 15 Issue 12, p479. 15p.

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

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

Target Function without Local Minimum for Systems of Logical Equations with a Unique Solution.

  • Source: Mathematics (2227-7390). Jun2022, Vol. 10 Issue 12, p2097-N.PAG. 8p.

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

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

Factoring semi-primes with (quantum) SAT-solvers.

  • Source: Scientific Reports. 5/14/2022, Vol. 12 Issue 1, p1-12. 12p.

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

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

A logical approach to qualitative analysis of controlled nonlinear binary dynamic systems.

  • Source: Mathematics in Engineering, Science & Aerospace (MESA). 2022, Vol. 13 Issue 1, p1-9. 9p.

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

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

Polylinear Transformation Method for Solving Systems of Logical Equations.

  • Source: Mathematics (2227-7390). Mar2022, Vol. 10 Issue 6, p918. 10p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-6 ل  6 نتائج ل ""Boolean satisfiability problem""