Skip to main content Accessibility information

How to Submit

Communities

Search

Refine Search

Subjects

Computer Science

(2)

Events

Content Types

Presentation

(1)

Working Paper

(1)

Published Date

Last 3 years

(2)

Last 12 months

(2)

Last 6 months

(2)

Last 3 months

(2)

Last month

(2)

Last week

(2)

Partners

Cambridge Open Engage

(2)

Keywords

Loading...

keywords

Authors

Latif Salum

2 results in Authors: Latif Salum

Sort by

Subject: Computer Science

The Syntactic Approach to Satisfiability

, Authors: Latif Salum

Version 2 posted 15 September 2026

80

Downloads

by Cambridge Open Engage

Subject: Computer Science

Incorporating Semantics into Syntax for Deciding Reducibility of 3CNF Formulas

, Authors: Latif Salum

Version 2 posted 15 September 2026

123

Downloads

by Cambridge Open Engage

Brought To You By

Cambridge Open Engage Archive

Contact and Help

1.0.2770-0