Oscillator-Inspired Dynamical Systems to Solve Boolean Satisfiability Article Swipe
Mohammad Khairul Bashar
,
Zongli Lin
,
Nikhil Shukla
·
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.1109/jxcdc.2023.3241045
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.1109/jxcdc.2023.3241045
Dynamical systems can offer a novel non-Boolean approach to computing. Specifically, the natural minimization of energy in the system is a valuable property for minimizing the objective functions of combinatorial optimization problems, many of which are still challenging to solve using conventional digital solvers. In this work, we design two oscillator-inspired dynamical systems to solve quintessential computationally intractable problems in Boolean satisfiability (SAT). The system dynamics are engineered such that they facilitate solutions to two different flavors of the SAT problem. We formulate the first dynamical system to compute the solution to the 3-SAT problem, while for the second system, we show that its dynamics map to the solution of the Max-not-all-equal (NAE)-3-SAT problem. Our work advances our understanding of how this physics-inspired approach can be used to address challenging problems in computing.
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1109/jxcdc.2023.3241045
- https://ieeexplore.ieee.org/ielx7/6570653/7076742/10032530.pdf
- OA Status
- gold
- Cited By
- 8
- References
- 30
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4318624577
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4318624577Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1109/jxcdc.2023.3241045Digital Object Identifier
- Title
-
Oscillator-Inspired Dynamical Systems to Solve Boolean SatisfiabilityWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2023Year of publication
- Publication date
-
2023-01-31Full publication date if available
- Authors
-
Mohammad Khairul Bashar, Zongli Lin, Nikhil ShuklaList of authors in order
- Landing page
-
https://doi.org/10.1109/jxcdc.2023.3241045Publisher landing page
- PDF URL
-
https://ieeexplore.ieee.org/ielx7/6570653/7076742/10032530.pdfDirect link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
goldOpen access status per OpenAlex
- OA URL
-
https://ieeexplore.ieee.org/ielx7/6570653/7076742/10032530.pdfDirect OA link when available
- Concepts
-
Boolean satisfiability problem, Satisfiability, Dynamical systems theory, Computer science, Maximum satisfiability problem, Dynamical system (definition), Theoretical computer science, Boolean function, Mathematical optimization, Mathematics, Algorithm, Physics, Quantum mechanicsTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
8Total citation count in OpenAlex
- Citations by year (recent)
-
2025: 2, 2024: 3, 2023: 3Per-year citation counts (last 5 years)
- References (count)
-
30Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4318624577 |
|---|---|
| doi | https://doi.org/10.1109/jxcdc.2023.3241045 |
| ids.doi | https://doi.org/10.1109/jxcdc.2023.3241045 |
| ids.openalex | https://openalex.org/W4318624577 |
| fwci | 2.0435431 |
| type | article |
| title | Oscillator-Inspired Dynamical Systems to Solve Boolean Satisfiability |
| awards[0].id | https://openalex.org/G7830336954 |
| awards[0].funder_id | https://openalex.org/F4320306076 |
| awards[0].display_name | |
| awards[0].funder_award_id | 2132918 |
| awards[0].funder_display_name | National Science Foundation |
| biblio.issue | 1 |
| biblio.volume | 9 |
| biblio.last_page | 20 |
| biblio.first_page | 12 |
| topics[0].id | https://openalex.org/T10682 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9991000294685364 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Quantum Computing Algorithms and Architecture |
| topics[1].id | https://openalex.org/T12611 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9965000152587891 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1702 |
| topics[1].subfield.display_name | Artificial Intelligence |
| topics[1].display_name | Neural Networks and Reservoir Computing |
| topics[2].id | https://openalex.org/T10363 |
| topics[2].field.id | https://openalex.org/fields/22 |
| topics[2].field.display_name | Engineering |
| topics[2].score | 0.9861000180244446 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/2208 |
| topics[2].subfield.display_name | Electrical and Electronic Engineering |
| topics[2].display_name | Low-power high-performance VLSI design |
| funders[0].id | https://openalex.org/F4320306076 |
| funders[0].ror | https://ror.org/021nxhr62 |
| funders[0].display_name | National Science Foundation |
| is_xpac | False |
| apc_list.value | 1350 |
| apc_list.currency | USD |
| apc_list.value_usd | 1350 |
| apc_paid.value | 1350 |
| apc_paid.currency | USD |
| apc_paid.value_usd | 1350 |
| concepts[0].id | https://openalex.org/C6943359 |
| concepts[0].level | 2 |
| concepts[0].score | 0.7192553877830505 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q875276 |
| concepts[0].display_name | Boolean satisfiability problem |
| concepts[1].id | https://openalex.org/C168773769 |
| concepts[1].level | 2 |
| concepts[1].score | 0.6866713762283325 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q1350299 |
| concepts[1].display_name | Satisfiability |
| concepts[2].id | https://openalex.org/C79379906 |
| concepts[2].level | 2 |
| concepts[2].score | 0.65636146068573 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q3174497 |
| concepts[2].display_name | Dynamical systems theory |
| concepts[3].id | https://openalex.org/C41008148 |
| concepts[3].level | 0 |
| concepts[3].score | 0.5669342875480652 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[3].display_name | Computer science |
| concepts[4].id | https://openalex.org/C111797529 |
| concepts[4].level | 3 |
| concepts[4].score | 0.514987051486969 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q17080584 |
| concepts[4].display_name | Maximum satisfiability problem |
| concepts[5].id | https://openalex.org/C33962884 |
| concepts[5].level | 3 |
| concepts[5].score | 0.5076426267623901 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q378637 |
| concepts[5].display_name | Dynamical system (definition) |
| concepts[6].id | https://openalex.org/C80444323 |
| concepts[6].level | 1 |
| concepts[6].score | 0.4840768873691559 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[6].display_name | Theoretical computer science |
| concepts[7].id | https://openalex.org/C187455244 |
| concepts[7].level | 2 |
| concepts[7].score | 0.3845958709716797 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q942353 |
| concepts[7].display_name | Boolean function |
| concepts[8].id | https://openalex.org/C126255220 |
| concepts[8].level | 1 |
| concepts[8].score | 0.3435398042201996 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q141495 |
| concepts[8].display_name | Mathematical optimization |
| concepts[9].id | https://openalex.org/C33923547 |
| concepts[9].level | 0 |
| concepts[9].score | 0.29257065057754517 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[9].display_name | Mathematics |
| concepts[10].id | https://openalex.org/C11413529 |
| concepts[10].level | 1 |
| concepts[10].score | 0.24455204606056213 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q8366 |
| concepts[10].display_name | Algorithm |
| concepts[11].id | https://openalex.org/C121332964 |
| concepts[11].level | 0 |
| concepts[11].score | 0.07096278667449951 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q413 |
| concepts[11].display_name | Physics |
| concepts[12].id | https://openalex.org/C62520636 |
| concepts[12].level | 1 |
| concepts[12].score | 0.0 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q944 |
| concepts[12].display_name | Quantum mechanics |
| keywords[0].id | https://openalex.org/keywords/boolean-satisfiability-problem |
| keywords[0].score | 0.7192553877830505 |
| keywords[0].display_name | Boolean satisfiability problem |
| keywords[1].id | https://openalex.org/keywords/satisfiability |
| keywords[1].score | 0.6866713762283325 |
| keywords[1].display_name | Satisfiability |
| keywords[2].id | https://openalex.org/keywords/dynamical-systems-theory |
| keywords[2].score | 0.65636146068573 |
| keywords[2].display_name | Dynamical systems theory |
| keywords[3].id | https://openalex.org/keywords/computer-science |
| keywords[3].score | 0.5669342875480652 |
| keywords[3].display_name | Computer science |
| keywords[4].id | https://openalex.org/keywords/maximum-satisfiability-problem |
| keywords[4].score | 0.514987051486969 |
| keywords[4].display_name | Maximum satisfiability problem |
| keywords[5].id | https://openalex.org/keywords/dynamical-system |
| keywords[5].score | 0.5076426267623901 |
| keywords[5].display_name | Dynamical system (definition) |
| keywords[6].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[6].score | 0.4840768873691559 |
| keywords[6].display_name | Theoretical computer science |
| keywords[7].id | https://openalex.org/keywords/boolean-function |
| keywords[7].score | 0.3845958709716797 |
| keywords[7].display_name | Boolean function |
| keywords[8].id | https://openalex.org/keywords/mathematical-optimization |
| keywords[8].score | 0.3435398042201996 |
| keywords[8].display_name | Mathematical optimization |
| keywords[9].id | https://openalex.org/keywords/mathematics |
| keywords[9].score | 0.29257065057754517 |
| keywords[9].display_name | Mathematics |
| keywords[10].id | https://openalex.org/keywords/algorithm |
| keywords[10].score | 0.24455204606056213 |
| keywords[10].display_name | Algorithm |
| keywords[11].id | https://openalex.org/keywords/physics |
| keywords[11].score | 0.07096278667449951 |
| keywords[11].display_name | Physics |
| language | en |
| locations[0].id | doi:10.1109/jxcdc.2023.3241045 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S2478001734 |
| locations[0].source.issn | 2329-9231 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | 2329-9231 |
| locations[0].source.is_core | True |
| locations[0].source.is_in_doaj | True |
| locations[0].source.display_name | IEEE Journal on Exploratory Solid-State Computational Devices and Circuits |
| locations[0].source.host_organization | https://openalex.org/P4310319808 |
| locations[0].source.host_organization_name | Institute of Electrical and Electronics Engineers |
| locations[0].source.host_organization_lineage | https://openalex.org/P4310319808 |
| locations[0].source.host_organization_lineage_names | Institute of Electrical and Electronics Engineers |
| locations[0].license | cc-by |
| locations[0].pdf_url | https://ieeexplore.ieee.org/ielx7/6570653/7076742/10032530.pdf |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | IEEE Journal on Exploratory Solid-State Computational Devices and Circuits |
| locations[0].landing_page_url | https://doi.org/10.1109/jxcdc.2023.3241045 |
| locations[1].id | pmh:oai:doaj.org/article:0ea17351cd9d4b388fa66637bec52134 |
| locations[1].is_oa | False |
| locations[1].source.id | https://openalex.org/S4306401280 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | DOAJ (DOAJ: Directory of Open Access Journals) |
| locations[1].source.host_organization | |
| locations[1].source.host_organization_name | |
| locations[1].license | |
| locations[1].pdf_url | |
| locations[1].version | submittedVersion |
| locations[1].raw_type | article |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | IEEE Journal on Exploratory Solid-State Computational Devices and Circuits, Vol 9, Iss 1, Pp 12-20 (2023) |
| locations[1].landing_page_url | https://doaj.org/article/0ea17351cd9d4b388fa66637bec52134 |
| indexed_in | crossref, doaj |
| authorships[0].author.id | https://openalex.org/A5038234804 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-3668-0576 |
| authorships[0].author.display_name | Mohammad Khairul Bashar |
| authorships[0].countries | US |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I51556381 |
| authorships[0].affiliations[0].raw_affiliation_string | Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA |
| authorships[0].institutions[0].id | https://openalex.org/I51556381 |
| authorships[0].institutions[0].ror | https://ror.org/0153tk833 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I51556381 |
| authorships[0].institutions[0].country_code | US |
| authorships[0].institutions[0].display_name | University of Virginia |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Mohammad Khairul Bashar |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA |
| authorships[1].author.id | https://openalex.org/A5072774939 |
| authorships[1].author.orcid | https://orcid.org/0000-0003-1589-1443 |
| authorships[1].author.display_name | Zongli Lin |
| authorships[1].countries | US |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I51556381 |
| authorships[1].affiliations[0].raw_affiliation_string | Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA |
| authorships[1].institutions[0].id | https://openalex.org/I51556381 |
| authorships[1].institutions[0].ror | https://ror.org/0153tk833 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I51556381 |
| authorships[1].institutions[0].country_code | US |
| authorships[1].institutions[0].display_name | University of Virginia |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Zongli Lin |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA |
| authorships[2].author.id | https://openalex.org/A5028883225 |
| authorships[2].author.orcid | https://orcid.org/0000-0002-8899-5190 |
| authorships[2].author.display_name | Nikhil Shukla |
| authorships[2].countries | US |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I51556381 |
| authorships[2].affiliations[0].raw_affiliation_string | Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA |
| authorships[2].institutions[0].id | https://openalex.org/I51556381 |
| authorships[2].institutions[0].ror | https://ror.org/0153tk833 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I51556381 |
| authorships[2].institutions[0].country_code | US |
| authorships[2].institutions[0].display_name | University of Virginia |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Nikhil Shukla |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://ieeexplore.ieee.org/ielx7/6570653/7076742/10032530.pdf |
| open_access.oa_status | gold |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Oscillator-Inspired Dynamical Systems to Solve Boolean Satisfiability |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10682 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9991000294685364 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Quantum Computing Algorithms and Architecture |
| related_works | https://openalex.org/W2394616262, https://openalex.org/W3152212242, https://openalex.org/W2014111643, https://openalex.org/W2102364390, https://openalex.org/W4289743389, https://openalex.org/W1913543287, https://openalex.org/W2336941104, https://openalex.org/W3120153087, https://openalex.org/W2883069340, https://openalex.org/W2996462315 |
| cited_by_count | 8 |
| counts_by_year[0].year | 2025 |
| counts_by_year[0].cited_by_count | 2 |
| counts_by_year[1].year | 2024 |
| counts_by_year[1].cited_by_count | 3 |
| counts_by_year[2].year | 2023 |
| counts_by_year[2].cited_by_count | 3 |
| locations_count | 2 |
| best_oa_location.id | doi:10.1109/jxcdc.2023.3241045 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S2478001734 |
| best_oa_location.source.issn | 2329-9231 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | 2329-9231 |
| best_oa_location.source.is_core | True |
| best_oa_location.source.is_in_doaj | True |
| best_oa_location.source.display_name | IEEE Journal on Exploratory Solid-State Computational Devices and Circuits |
| best_oa_location.source.host_organization | https://openalex.org/P4310319808 |
| best_oa_location.source.host_organization_name | Institute of Electrical and Electronics Engineers |
| best_oa_location.source.host_organization_lineage | https://openalex.org/P4310319808 |
| best_oa_location.source.host_organization_lineage_names | Institute of Electrical and Electronics Engineers |
| best_oa_location.license | cc-by |
| best_oa_location.pdf_url | https://ieeexplore.ieee.org/ielx7/6570653/7076742/10032530.pdf |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | IEEE Journal on Exploratory Solid-State Computational Devices and Circuits |
| best_oa_location.landing_page_url | https://doi.org/10.1109/jxcdc.2023.3241045 |
| primary_location.id | doi:10.1109/jxcdc.2023.3241045 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S2478001734 |
| primary_location.source.issn | 2329-9231 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | 2329-9231 |
| primary_location.source.is_core | True |
| primary_location.source.is_in_doaj | True |
| primary_location.source.display_name | IEEE Journal on Exploratory Solid-State Computational Devices and Circuits |
| primary_location.source.host_organization | https://openalex.org/P4310319808 |
| primary_location.source.host_organization_name | Institute of Electrical and Electronics Engineers |
| primary_location.source.host_organization_lineage | https://openalex.org/P4310319808 |
| primary_location.source.host_organization_lineage_names | Institute of Electrical and Electronics Engineers |
| primary_location.license | cc-by |
| primary_location.pdf_url | https://ieeexplore.ieee.org/ielx7/6570653/7076742/10032530.pdf |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | IEEE Journal on Exploratory Solid-State Computational Devices and Circuits |
| primary_location.landing_page_url | https://doi.org/10.1109/jxcdc.2023.3241045 |
| publication_date | 2023-01-31 |
| publication_year | 2023 |
| referenced_works | https://openalex.org/W3089293674, https://openalex.org/W2980708903, https://openalex.org/W3136346278, https://openalex.org/W3184554868, https://openalex.org/W2921525502, https://openalex.org/W4313839118, https://openalex.org/W4211006049, https://openalex.org/W3128253723, https://openalex.org/W3087423327, https://openalex.org/W3013799228, https://openalex.org/W2507652734, https://openalex.org/W2149215957, https://openalex.org/W3150693925, https://openalex.org/W6757515144, https://openalex.org/W6760996246, https://openalex.org/W3150944314, https://openalex.org/W3011910508, https://openalex.org/W6839267298, https://openalex.org/W3157738633, https://openalex.org/W2036265926, https://openalex.org/W2918427280, https://openalex.org/W2030586674, https://openalex.org/W2997883506, https://openalex.org/W2887230019, https://openalex.org/W2488913484, https://openalex.org/W3092309919, https://openalex.org/W3106156055, https://openalex.org/W2906726587, https://openalex.org/W3105173291, https://openalex.org/W4283722817 |
| referenced_works_count | 30 |
| abstract_inverted_index.a | 4, 20 |
| abstract_inverted_index.In | 44 |
| abstract_inverted_index.We | 81 |
| abstract_inverted_index.be | 125 |
| abstract_inverted_index.in | 16, 59, 131 |
| abstract_inverted_index.is | 19 |
| abstract_inverted_index.of | 14, 28, 33, 77, 109, 119 |
| abstract_inverted_index.to | 8, 38, 53, 73, 87, 91, 106, 127 |
| abstract_inverted_index.we | 47, 100 |
| abstract_inverted_index.Our | 114 |
| abstract_inverted_index.SAT | 79 |
| abstract_inverted_index.The | 63 |
| abstract_inverted_index.are | 35, 66 |
| abstract_inverted_index.can | 2, 124 |
| abstract_inverted_index.for | 23, 96 |
| abstract_inverted_index.how | 120 |
| abstract_inverted_index.its | 103 |
| abstract_inverted_index.map | 105 |
| abstract_inverted_index.our | 117 |
| abstract_inverted_index.the | 11, 17, 25, 78, 83, 89, 92, 97, 107, 110 |
| abstract_inverted_index.two | 49, 74 |
| abstract_inverted_index.many | 32 |
| abstract_inverted_index.show | 101 |
| abstract_inverted_index.such | 68 |
| abstract_inverted_index.that | 69, 102 |
| abstract_inverted_index.they | 70 |
| abstract_inverted_index.this | 45, 121 |
| abstract_inverted_index.used | 126 |
| abstract_inverted_index.work | 115 |
| abstract_inverted_index.3-SAT | 93 |
| abstract_inverted_index.first | 84 |
| abstract_inverted_index.novel | 5 |
| abstract_inverted_index.offer | 3 |
| abstract_inverted_index.solve | 39, 54 |
| abstract_inverted_index.still | 36 |
| abstract_inverted_index.using | 40 |
| abstract_inverted_index.which | 34 |
| abstract_inverted_index.while | 95 |
| abstract_inverted_index.work, | 46 |
| abstract_inverted_index.(SAT). | 62 |
| abstract_inverted_index.design | 48 |
| abstract_inverted_index.energy | 15 |
| abstract_inverted_index.second | 98 |
| abstract_inverted_index.system | 18, 64, 86 |
| abstract_inverted_index.Boolean | 60 |
| abstract_inverted_index.address | 128 |
| abstract_inverted_index.compute | 88 |
| abstract_inverted_index.digital | 42 |
| abstract_inverted_index.flavors | 76 |
| abstract_inverted_index.natural | 12 |
| abstract_inverted_index.system, | 99 |
| abstract_inverted_index.systems | 1, 52 |
| abstract_inverted_index.advances | 116 |
| abstract_inverted_index.approach | 7, 123 |
| abstract_inverted_index.dynamics | 65, 104 |
| abstract_inverted_index.problem, | 94 |
| abstract_inverted_index.problem. | 80, 113 |
| abstract_inverted_index.problems | 58, 130 |
| abstract_inverted_index.property | 22 |
| abstract_inverted_index.solution | 90, 108 |
| abstract_inverted_index.solvers. | 43 |
| abstract_inverted_index.valuable | 21 |
| abstract_inverted_index.Dynamical | 0 |
| abstract_inverted_index.different | 75 |
| abstract_inverted_index.dynamical | 51, 85 |
| abstract_inverted_index.formulate | 82 |
| abstract_inverted_index.functions | 27 |
| abstract_inverted_index.objective | 26 |
| abstract_inverted_index.problems, | 31 |
| abstract_inverted_index.solutions | 72 |
| abstract_inverted_index.computing. | 9, 132 |
| abstract_inverted_index.engineered | 67 |
| abstract_inverted_index.facilitate | 71 |
| abstract_inverted_index.minimizing | 24 |
| abstract_inverted_index.(NAE)-3-SAT | 112 |
| abstract_inverted_index.challenging | 37, 129 |
| abstract_inverted_index.intractable | 57 |
| abstract_inverted_index.non-Boolean | 6 |
| abstract_inverted_index.conventional | 41 |
| abstract_inverted_index.minimization | 13 |
| abstract_inverted_index.optimization | 30 |
| abstract_inverted_index.Specifically, | 10 |
| abstract_inverted_index.combinatorial | 29 |
| abstract_inverted_index.understanding | 118 |
| abstract_inverted_index.quintessential | 55 |
| abstract_inverted_index.satisfiability | 61 |
| abstract_inverted_index.computationally | 56 |
| abstract_inverted_index.physics-inspired | 122 |
| abstract_inverted_index.Max-not-all-equal | 111 |
| abstract_inverted_index.oscillator-inspired | 50 |
| cited_by_percentile_year.max | 97 |
| cited_by_percentile_year.min | 95 |
| countries_distinct_count | 1 |
| institutions_distinct_count | 3 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/7 |
| sustainable_development_goals[0].score | 0.8199999928474426 |
| sustainable_development_goals[0].display_name | Affordable and clean energy |
| citation_normalized_percentile.value | 0.86148311 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |