Parallel unit propagation: Optimal speedup 3CNF Horn SAT

Thumbnail Image

Files

linear work parallel HornSAT algorithm.pdf (224.9 KB)
No. of downloads: 78

Publication or External Link

Date

2021-05-01

Authors

Advisor

Citation

DRUM DOI

https://doi.org/10.13016/mbix-pfmc

Abstract

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

Notes

URI (handle)

http://hdl.handle.net/1903/27097

Rights

Collections

Computer Science Research Works