Relating Proof Complexity Measures and Practical Hardness of SAT

Những quyển sách tương tự

• The complexity of promise SAT on non-Boolean domains
  Bằng: Brandts, A, et al.
  Được phát hành: (2020)
• The complexity of promise SAT on non-Boolean domains
  Bằng: Brandts, A, et al.
  Được phát hành: (2021)
• Why are proof complexity lower bounds hard?
  Bằng: Pich, J, et al.
  Được phát hành: (2020)
• Reasons for hardness in QBF proof systems
  Bằng: Beyersdorff, O, et al.
  Được phát hành: (2020)
• Backdoors into heterogeneous classes of SAT and CSP
  Bằng: Gaspers, S, et al.
  Được phát hành: (2014)