Adobe PDF
(423.49 kB)
Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs

Page view(s)

186
checked on Sep 23, 2024

Download(s)

66
checked on Sep 23, 2024

Google ScholarTM

Check