- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2041-1723
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A continuous-time MaxSAT solver with high analog performance ; volume:9 ; number:1 ; day:19 ; month:11 ; year:2018 ; pages:1-12 ; date:12.2018
Nature Communications ; 9, Heft 1 (19.11.2018), 1-12, 12.2018
- Creator
-
Molnár, Botond
Molnár, Ferenc
Varga, Melinda
Toroczkai, Zoltán
Ercsey-Ravasz, Mária
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1038/s41467-018-07327-2
- URN
-
urn:nbn:de:101:1-2018123001353034333018
- 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
- Molnár, Botond
- Molnár, Ferenc
- Varga, Melinda
- Toroczkai, Zoltán
- Ercsey-Ravasz, Mária
- SpringerLink (Online service)
Other Objects (12)
Continuous-Time Systems
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
A new perspective on analog-to-digital conversion of continuous-time signals
Continuous-time Games of Timing
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Continuous-Time Modelling with Spatial Dependence
Continuous-time Markov Jump linear systems
Nonparametric Methods in Continuous-Time Finance
Closed-form continuous-time neural networks
Approximate Control for Continuous-Time POMDPs
Executing Underspecified OCL Operation Contracts with a SAT Solver
Continuous-Time Systems
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
A new perspective on analog-to-digital conversion of continuous-time signals
Continuous-time Games of Timing
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Continuous-Time Modelling with Spatial Dependence
Continuous-time Markov Jump linear systems
Nonparametric Methods in Continuous-Time Finance
Closed-form continuous-time neural networks
Approximate Control for Continuous-Time POMDPs
Executing Underspecified OCL Operation Contracts with a SAT Solver
Continuous-Time Systems
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
A new perspective on analog-to-digital conversion of continuous-time signals
Continuous-time Games of Timing
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Continuous-Time Modelling with Spatial Dependence
Continuous-time Markov Jump linear systems
Nonparametric Methods in Continuous-Time Finance
Closed-form continuous-time neural networks
Approximate Control for Continuous-Time POMDPs