„Boolean satisfiability problem“

Suchergebnisse

25 Treffer

• A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
  Chen, Qingshan ; Xu, Yang ; Liu, Jun ; He, Xingxing
• Machine Learning Methods in Solving the Boolean Satisfiability Problem
  Guo, Wenxuan ; Zhen, Hui-Ling ; Li, Xijun ; Luo, Wanqian ; Yuan, Mingxuan ; Jin, Yaohui ; Yan, Junchi
• Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics
  Zapletina, M. A. ; Zhukov, D. V. ; Gavrilov, S. V.
• Classified enhancement model for big data storage reliability based on Boolean satisfiability problem
  Huang, Hong ; Khan, Latifur ; Zhou, Shaohua
• Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions
  Semenov, Alexander ; Zaikin, Oleg