„Boolean satisfiability“

Suchergebnisse

75 Treffer

• The Complexity of Approximating Bounded-Degree Boolean #CSP
  Dyer, Martin ; Goldberg, Leslie Ann ; Jalsenius, Markus ; Richerby, David 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Revision of Logical Regulatory Networks Using Logic-Based Tools
  Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)
  Beyersdorff, Olaf ; Biere, Armin ; Ganesh, Vijay ; Nordström, Jakob ; Oertel, Andy
• Decision Procedures – An Algorithmic Point of View
  Kroening, Daniel ; Strichman, Ofer 2016 Springer Berlin
• Bridging Constraint Satisfaction and Boolean Satisfiability
  Petke, Justyna 2015 Springer International Publishing
• Logic Synthesis for Genetic Diseases – Modeling Disease Behavior Using Boolean Networks
  2014 Springer New York
• Generic hardness of the Boolean satisfiability problem
  Rybalov, Alexander
• Decision Procedures – An Algorithmic Point of View
  Kroening, Daniel ; Strichman, Ofer 2016 Springer Berlin
• The Unique Horn-Satisfiability problem and quadratic Boolean equations
  Minoux, M.
• A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
  Chen, Qingshan ; Xu, Yang ; Liu, Jun ; He, Xingxing
• Augmenting an electronic Ising machine to effectively solve boolean satisfiability
  Sharma, Anshujit ; Burns, Matthew ; Hahn, Andrew ; Huang, Michael
• A Resolution Proof System for Dependency Stochastic Boolean Satisfiability
  Luo, Yun-Rong ; Cheng, Che ; Jiang, Jie-Hong R.
• A Semi-Tensor Product Based All Solutions Boolean Satisfiability Solver
  Pan, Hong-Yang ; Chu, Zhu-Fei
• Satisfiability Testing for Boolean Formulas Using Δ-trees
  Gutiérrez, G. ; de Guzmán, I. P. ; Martínez, J. ; Ojeda-Aciego, M. ; Valverde, A.
• Stochastic Boolean Satisfiability
  Littman, Michael L. ; Majercik, Stephen M. ; Pitassi, Toniann
• Machine Learning Methods in Solving the Boolean Satisfiability Problem
  Guo, Wenxuan ; Zhen, Hui-Ling ; Li, Xijun ; Luo, Wanqian ; Yuan, Mingxuan ; Jin, Yaohui ; Yan, Junchi
• Satisfiability-Based Algorithms for Boolean Optimization
  Manquinho, Vasco M. ; Marques-Silva, João P.
• Satisfiability thresholds for non-uniform random k-SAT
  Rothenberger, Ralf ; Friedrich, Tobias ; Coja-Oghlan, Amin ; Buss, Samuel R. 2022 Universität Potsdam
• Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics
  Zapletina, M. A. ; Zhukov, D. V. ; Gavrilov, S. V.
• Packing and Legalization Free Boolean Satisfiability-based Placement Algorithm for Heterogeneous FPGAs
  Mukherjee, Shyamapada ; Purkayastha, Sharbani