„SAT solving“

Suchergebnisse

265 Treffer

• SAT solving with message passing
  Gableske, Oliver 2016
• A randomized diversification strategy for solving satisfiability problem with long clauses
  Gao, Jian ; Li, Ruizhi ; Yin, Minghao
• Solving the clinker dilemma with hybrid output-based allocation
  Branger, Frédéric ; Sato, Misato
• Scalable Bit-precise Formal Verification of Embedded Software
  He, Nannan 2016 LAP LAMBERT Academic Publishing
• Service robot planning via solving constraint satisfaction problem
  Tay, Noel Nuo Wi ; Saputra, Azhar Aulia ; Botzheim, János ; Kubota, Naoyuki