„Boolean satisfiability“

Suchergebnisse

75 Treffer

• Dynamic symmetry-breaking for Boolean satisfiability
  Aloul, Fadi A. ; Ramani, Arathi ; Markov, Igor L. ; Sakallah, Karem A.
• Classified enhancement model for big data storage reliability based on Boolean satisfiability problem
  Huang, Hong ; Khan, Latifur ; Zhou, Shaohua
• SMT attack: next generation attack on obfuscated circuits with capabilities and performance beyond the SAT attacks
  Azar, Kimia Zamiri ; Kamali, Hadi Mardani ; Homayoun, Houman ; Sasan, Avesta
• Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering and Boolean Satisfiability
  Ait Wakrime, Abderrahim ; Labbaci, Hamza ; Rekik, Mouna ; Cheniki, Nasreddine ; Sam, Yacine
• Optimization and Physics: On the Satisfiability of Random Boolean Formulae
  Mézard, Marc
• Zeon and Idem-Clifford Formulations of Boolean Satisfiability
  Davis, Amanda ; Staples, G. Stacey
• Complete Boolean Satisfiability Solving Algorithms Based on Local Search
  Guo, Wen-Sheng ; Yang, Guo-Wu ; Hung, William N. N. ; Song, Xiaoyu
• Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination
  Bao, Forrest Sheng ; Gutierrez, Chris ; Jn Charles-Blount, Jeriah ; Yan, Yaowei ; Zhang, Yuanlin
• POLYBORI: A Gröbner basis framework for Boolean polynomials
  Brickenstein, M. ; Dreyer, A. 2007 Fraunhofer-Institut für Techno- und Wirtschaftsmathematik, Fraunhofer (ITWM)
• High Quality Test Pattern Generation and Boolean Satisfiability
  2012 Springer US
• Satisfiability checking using Boolean Expression Diagrams
  Williams, Poul F. ; Andersen, Henrik R. ; Hulgaard, Henrik
• Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions
  Semenov, Alexander ; Zaikin, Oleg
• Robust algorithms for high quality test pattern generation using Boolean satisfiability
  Eggersglüß, Stephan
• Static detection of software errors – precise and scalable algorithms for automatic detection of software errors
  Xie, Yichen 2007 VDM Verlag Dr. Müller
• The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits
  Schwerdtfeger, Konrad W.