Parallel unit propagation: Optimal speedup 3CNF Horn SAT

Loading...
Thumbnail Image

Publication or External Link

Date

2021-05-01

Advisor

Citation

Abstract

A linear work parallel algorithm for 3CNF Horn SAT is presented, which is interesting since the problem is P-complete.

Notes

Rights