Search

Subjects

Computer Science

(1)

Events

Content Types

Working Paper

(1)

Published Date

Last 3 years

(1)

Last 12 months

(1)

Last 6 months

(1)

Last 3 months

(1)

Partners

Cambridge Open Engage

(1)

Keywords

Satisfiability of Boolean Formulas

Authors

1 results in Keywords: Satisfiability of Boolean Formulas

Computer Science

Incorporating Semantics into Syntax for Deciding Reducibility of 3CNF Formulas

Version 2 posted 15 September 2026

162

Downloads

by Cambridge Open Engage