News for hackers. Stuff that matters.

A comment on The Silent (R)evolution of SAT. Parent comment

Re:The Silent (R)evolution of SAT by cwzwarich on Friday May 26, 2023 @09:33AM (#36083903)
Unit propagation (a major component of CDCL-based SAT solvers) is P-complete, and thus has no effective parallel algorithm.
[ Parent | on HN ]
Re:The Silent (R)evolution of SAT by bmc7505 on Friday May 26, 2023 @11:28AM (#36085436)
Interesting. Do you have a link where I can read more about that? How does this relate to k-SAT or CNF complexity, isn't UP is complete w.r.t. these problems?
[ Parent | on HN ]