Relieving capacity limits on FPGA−based SAT−solvers

Ижил төстэй зүйлс

• FYalSAT: High-Throughput Stochastic Local Search K-SAT Solver on FPGA
  -н: Young-Kyu Choi, зэрэг
  Хэвлэсэн: (2024-01-01)
• A SAT Solver for Circuits Based on the Tableau Method
  -н: Egly, U, зэрэг
  Хэвлэсэн: (2010)
• FPGA-Based Hardware/Software Co-Design of a Bio-Inspired SAT Solver
  -н: Anh Hoang Ngoc Nguyen, зэрэг
  Хэвлэсэн: (2020-01-01)
• AvatarSAT: An Auto-tuning Boolean SAT Solver
  -н: Ganesh, Vijay, зэрэг
  Хэвлэсэн: (2009)
• Local Consistency and SAT-Solvers
  -н: Petke, J, зэрэг
  Хэвлэсэн: (2010)