A real SAT solution. P is not always hard(zenodo.org)
2 pointsby GeometryKernel21 hours ago1 comment
  • 21 hours ago
    undefined