![Author ORCID: We display the ORCID iD icon alongside authors names on our website to acknowledge that the ORCiD has been authenticated when entered by the user. To view the users ORCiD record click the icon. [opens in a new tab]](https://www.cambridge.org/engage/assets/public/coe/logo/orcid.png){kind=logo}
Abstract
This is the presentation of the paper entitled "Reducibility of 3CNF Formulas"
Reducibility of 3CNF Formulas: Satisfiability vs Reducibility
02 October 2025, Version 1
Presentation
Authors
This content is an early or alternative research output and has not been peer-reviewed by Cambridge University Press at the time of posting.
Comments
Comments are not moderated before they are posted, but they can be removed
by the site moderators if they are found to be in contravention of our
Commenting and Discussion Policy
[opens in a new tab]
- please read this policy before you post. Comments should be used for
scholarly discussion of the content in question. You can
find more information about how to use the commenting feature here
[opens in a new tab]
.
This site is protected by reCAPTCHA and the Google
Privacy Policy
[opens in a new tab]
and
Terms of Service
[opens in a new tab]
apply.
Version History
Oct 02, 2025 Version 1
Metrics
90
11
0
Views
Downloads
Citations
Author’s competing interest statement
The author(s) have declared they have no conflict of interest with regard
to this content
Ethics
The author(s) have declared ethics committee/IRB approval is not relevant
to this content