A Faster Exact Algorithm to Count X3sat Solutions Article Swipe

View

Gordon Hoi , Sanjay Jain , Frank Stephan ·

YOU? · · 2025 · Open Access · · DOI: https://doi.org/10.2139/ssrn.5346026

Related Topics To Compare & Contrast

Concepts

Literal (mathematical logic) Satisfiability Mathematics Discrete mathematics Combinatorics Set (abstract data type) Conjunctive normal form State (computer science) Algorithm Computer science Programming language

Metadata

Type: preprint
Language: en
Landing Page: https://doi.org/10.2139/ssrn.5346026
OA Status: green
References: 21
Related Works: 10
OpenAlex ID: https://openalex.org/W3042846617

All OpenAlex metadata

Raw OpenAlex JSON

No additional metadata available.