A Faster Exact Algorithm to Count X3sat Solutions Article Swipe
Gordon Hoi
,
Sanjay Jain
,
Frank Stephan
·
YOU?
·
· 2025
· Open Access
·
· DOI: https://doi.org/10.2139/ssrn.5346026
YOU?
·
· 2025
· Open Access
·
· DOI: https://doi.org/10.2139/ssrn.5346026
Related Topics
Concepts
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
- OpenAlex ID
-
https://openalex.org/W3042846617Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.2139/ssrn.5346026Digital Object Identifier
- Title
-
A Faster Exact Algorithm to Count X3sat SolutionsWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2025Year of publication
- Publication date
-
2025-01-01Full publication date if available
- Authors
-
Gordon Hoi, Sanjay Jain, Frank StephanList of authors in order
- Landing page
-
https://doi.org/10.2139/ssrn.5346026Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://doi.org/10.2139/ssrn.5346026Direct OA link when available
- Concepts
-
Literal (mathematical logic), Satisfiability, Mathematics, Discrete mathematics, Combinatorics, Set (abstract data type), Conjunctive normal form, State (computer science), Algorithm, Computer science, Programming languageTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
21Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W3042846617 |
|---|---|
| doi | https://doi.org/10.2139/ssrn.5346026 |
| ids.doi | https://doi.org/10.2139/ssrn.5346026 |
| ids.mag | 3042846617 |
| ids.openalex | https://openalex.org/W3042846617 |
| fwci | 0.0 |
| type | preprint |
| title | A Faster Exact Algorithm to Count X3sat Solutions |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T10374 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9995999932289124 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1703 |
| topics[0].subfield.display_name | Computational Theory and Mathematics |
| topics[0].display_name | Advanced Graph Theory Research |
| topics[1].id | https://openalex.org/T10720 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9983999729156494 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1703 |
| topics[1].subfield.display_name | Computational Theory and Mathematics |
| topics[1].display_name | Complexity and Algorithms in Graphs |
| topics[2].id | https://openalex.org/T10142 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9976999759674072 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1703 |
| topics[2].subfield.display_name | Computational Theory and Mathematics |
| topics[2].display_name | Formal Methods in Verification |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C2780882242 |
| concepts[0].level | 2 |
| concepts[0].score | 0.7689714431762695 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q14235582 |
| concepts[0].display_name | Literal (mathematical logic) |
| concepts[1].id | https://openalex.org/C168773769 |
| concepts[1].level | 2 |
| concepts[1].score | 0.6891797780990601 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q1350299 |
| concepts[1].display_name | Satisfiability |
| concepts[2].id | https://openalex.org/C33923547 |
| concepts[2].level | 0 |
| concepts[2].score | 0.6304349899291992 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[2].display_name | Mathematics |
| concepts[3].id | https://openalex.org/C118615104 |
| concepts[3].level | 1 |
| concepts[3].score | 0.5239284634590149 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q121416 |
| concepts[3].display_name | Discrete mathematics |
| concepts[4].id | https://openalex.org/C114614502 |
| concepts[4].level | 1 |
| concepts[4].score | 0.504986584186554 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q76592 |
| concepts[4].display_name | Combinatorics |
| concepts[5].id | https://openalex.org/C177264268 |
| concepts[5].level | 2 |
| concepts[5].score | 0.4847866892814636 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q1514741 |
| concepts[5].display_name | Set (abstract data type) |
| concepts[6].id | https://openalex.org/C16221470 |
| concepts[6].level | 2 |
| concepts[6].score | 0.4508013427257538 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q846564 |
| concepts[6].display_name | Conjunctive normal form |
| concepts[7].id | https://openalex.org/C48103436 |
| concepts[7].level | 2 |
| concepts[7].score | 0.41843581199645996 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q599031 |
| concepts[7].display_name | State (computer science) |
| concepts[8].id | https://openalex.org/C11413529 |
| concepts[8].level | 1 |
| concepts[8].score | 0.384278804063797 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q8366 |
| concepts[8].display_name | Algorithm |
| concepts[9].id | https://openalex.org/C41008148 |
| concepts[9].level | 0 |
| concepts[9].score | 0.232843279838562 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[9].display_name | Computer science |
| concepts[10].id | https://openalex.org/C199360897 |
| concepts[10].level | 1 |
| concepts[10].score | 0.0 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[10].display_name | Programming language |
| keywords[0].id | https://openalex.org/keywords/literal |
| keywords[0].score | 0.7689714431762695 |
| keywords[0].display_name | Literal (mathematical logic) |
| keywords[1].id | https://openalex.org/keywords/satisfiability |
| keywords[1].score | 0.6891797780990601 |
| keywords[1].display_name | Satisfiability |
| keywords[2].id | https://openalex.org/keywords/mathematics |
| keywords[2].score | 0.6304349899291992 |
| keywords[2].display_name | Mathematics |
| keywords[3].id | https://openalex.org/keywords/discrete-mathematics |
| keywords[3].score | 0.5239284634590149 |
| keywords[3].display_name | Discrete mathematics |
| keywords[4].id | https://openalex.org/keywords/combinatorics |
| keywords[4].score | 0.504986584186554 |
| keywords[4].display_name | Combinatorics |
| keywords[5].id | https://openalex.org/keywords/set |
| keywords[5].score | 0.4847866892814636 |
| keywords[5].display_name | Set (abstract data type) |
| keywords[6].id | https://openalex.org/keywords/conjunctive-normal-form |
| keywords[6].score | 0.4508013427257538 |
| keywords[6].display_name | Conjunctive normal form |
| keywords[7].id | https://openalex.org/keywords/state |
| keywords[7].score | 0.41843581199645996 |
| keywords[7].display_name | State (computer science) |
| keywords[8].id | https://openalex.org/keywords/algorithm |
| keywords[8].score | 0.384278804063797 |
| keywords[8].display_name | Algorithm |
| keywords[9].id | https://openalex.org/keywords/computer-science |
| keywords[9].score | 0.232843279838562 |
| keywords[9].display_name | Computer science |
| language | en |
| locations[0].id | doi:10.2139/ssrn.5346026 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4210172589 |
| locations[0].source.issn | 1556-5068 |
| locations[0].source.type | repository |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | 1556-5068 |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | SSRN Electronic Journal |
| locations[0].source.host_organization | https://openalex.org/I1318003438 |
| locations[0].source.host_organization_name | RELX Group (Netherlands) |
| locations[0].source.host_organization_lineage | https://openalex.org/I1318003438 |
| locations[0].license | |
| locations[0].pdf_url | |
| locations[0].version | acceptedVersion |
| locations[0].raw_type | posted-content |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | https://doi.org/10.2139/ssrn.5346026 |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A5028037123 |
| authorships[0].author.orcid | |
| authorships[0].author.display_name | Gordon Hoi |
| authorships[0].countries | SG |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I165932596 |
| authorships[0].affiliations[0].raw_affiliation_string | National University of Singapore, |
| authorships[0].institutions[0].id | https://openalex.org/I165932596 |
| authorships[0].institutions[0].ror | https://ror.org/01tgyzw49 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I165932596 |
| authorships[0].institutions[0].country_code | SG |
| authorships[0].institutions[0].display_name | National University of Singapore |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Gordon Hoi |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | National University of Singapore, |
| authorships[1].author.id | https://openalex.org/A5101627589 |
| authorships[1].author.orcid | https://orcid.org/0000-0001-6798-8330 |
| authorships[1].author.display_name | Sanjay Jain |
| authorships[1].countries | SG |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I165932596 |
| authorships[1].affiliations[0].raw_affiliation_string | National University of Singapore, |
| authorships[1].institutions[0].id | https://openalex.org/I165932596 |
| authorships[1].institutions[0].ror | https://ror.org/01tgyzw49 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I165932596 |
| authorships[1].institutions[0].country_code | SG |
| authorships[1].institutions[0].display_name | National University of Singapore |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Sanjay Jain |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | National University of Singapore, |
| authorships[2].author.id | https://openalex.org/A5085103227 |
| authorships[2].author.orcid | https://orcid.org/0000-0001-9152-1706 |
| authorships[2].author.display_name | Frank Stephan |
| authorships[2].countries | SG |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I165932596 |
| authorships[2].affiliations[0].raw_affiliation_string | National University of Singapore, |
| authorships[2].institutions[0].id | https://openalex.org/I165932596 |
| authorships[2].institutions[0].ror | https://ror.org/01tgyzw49 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I165932596 |
| authorships[2].institutions[0].country_code | SG |
| authorships[2].institutions[0].display_name | National University of Singapore |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Frank Stephan |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | National University of Singapore, |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://doi.org/10.2139/ssrn.5346026 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | A Faster Exact Algorithm to Count X3sat Solutions |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10374 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9995999932289124 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1703 |
| primary_topic.subfield.display_name | Computational Theory and Mathematics |
| primary_topic.display_name | Advanced Graph Theory Research |
| related_works | https://openalex.org/W4391375266, https://openalex.org/W2480084299, https://openalex.org/W2992977619, https://openalex.org/W2039120963, https://openalex.org/W1557481323, https://openalex.org/W2611035363, https://openalex.org/W2080557554, https://openalex.org/W2014111643, https://openalex.org/W1963913579, https://openalex.org/W44982509 |
| cited_by_count | 0 |
| locations_count | 1 |
| best_oa_location.id | doi:10.2139/ssrn.5346026 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4210172589 |
| best_oa_location.source.issn | 1556-5068 |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | 1556-5068 |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | SSRN Electronic Journal |
| best_oa_location.source.host_organization | https://openalex.org/I1318003438 |
| best_oa_location.source.host_organization_name | RELX Group (Netherlands) |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I1318003438 |
| best_oa_location.license | |
| best_oa_location.pdf_url | |
| best_oa_location.version | acceptedVersion |
| best_oa_location.raw_type | posted-content |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | https://doi.org/10.2139/ssrn.5346026 |
| primary_location.id | doi:10.2139/ssrn.5346026 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4210172589 |
| primary_location.source.issn | 1556-5068 |
| primary_location.source.type | repository |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | 1556-5068 |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | SSRN Electronic Journal |
| primary_location.source.host_organization | https://openalex.org/I1318003438 |
| primary_location.source.host_organization_name | RELX Group (Netherlands) |
| primary_location.source.host_organization_lineage | https://openalex.org/I1318003438 |
| primary_location.license | |
| primary_location.pdf_url | |
| primary_location.version | acceptedVersion |
| primary_location.raw_type | posted-content |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | https://doi.org/10.2139/ssrn.5346026 |
| publication_date | 2025-01-01 |
| publication_year | 2025 |
| referenced_works | https://openalex.org/W2115826669, https://openalex.org/W2115388619, https://openalex.org/W2062897452, https://openalex.org/W2077925882, https://openalex.org/W189719929, https://openalex.org/W2057361103, https://openalex.org/W2121015801, https://openalex.org/W2036265926, https://openalex.org/W2401610261, https://openalex.org/W2055190409, https://openalex.org/W2166566648, https://openalex.org/W2774159520, https://openalex.org/W2055131688, https://openalex.org/W1544675895, https://openalex.org/W2034758366, https://openalex.org/W2028354230, https://openalex.org/W2089328544, https://openalex.org/W59759164, https://openalex.org/W1964821516, https://openalex.org/W2997305211, https://openalex.org/W2066749637 |
| referenced_works_count | 21 |
| abstract_inverted_index | |
| cited_by_percentile_year | |
| countries_distinct_count | 1 |
| institutions_distinct_count | 3 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/16 |
| sustainable_development_goals[0].score | 0.6000000238418579 |
| sustainable_development_goals[0].display_name | Peace, Justice and strong institutions |
| citation_normalized_percentile.value | 0.00136974 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |