Augmenting an electronic Ising machine to effectively solve boolean satisfiability
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Augmenting an electronic Ising machine to effectively solve boolean satisfiability ; volume:13 ; number:1 ; day:21 ; month:12 ; year:2023 ; pages:1-10 ; date:12.2023
Scientific reports ; 13, Heft 1 (21.12.2023), 1-10, 12.2023
- Creator
-
Sharma, Anshujit
Burns, Matthew
Hahn, Andrew
Huang, Michael
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1038/s41598-023-49966-6
- URN
-
urn:nbn:de:101:1-2024030613405201891292
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:51 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Sharma, Anshujit
- Burns, Matthew
- Hahn, Andrew
- Huang, Michael
- SpringerLink (Online service)
Other Objects (12)
Boolean Satisfiability: Theory and Engineering
Efficient solution of Boolean satisfiability problems with digital memcomputing
A boolean satisfiability approach to the resource-constrained project scheduling problem
Robust algorithms for high quality test pattern generation using Boolean satisfiability
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Satisfiability with exponential families
Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions
A concept of controlling Grover diffusion operator: a new approach to solve arbitrary Boolean-based problems
Boolean Satisfiability: Theory and Engineering
Efficient solution of Boolean satisfiability problems with digital memcomputing
A boolean satisfiability approach to the resource-constrained project scheduling problem
Robust algorithms for high quality test pattern generation using Boolean satisfiability
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Satisfiability with exponential families
Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions
A concept of controlling Grover diffusion operator: a new approach to solve arbitrary Boolean-based problems
Boolean Satisfiability: Theory and Engineering
Efficient solution of Boolean satisfiability problems with digital memcomputing
A boolean satisfiability approach to the resource-constrained project scheduling problem
Robust algorithms for high quality test pattern generation using Boolean satisfiability
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Satisfiability with exponential families
Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions