- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2041-1723
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
-
Molnár, Botond
Molnár, Ferenc
Varga, Melinda
Toroczkai, Zoltán
Ercsey-Ravasz, Mária
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1038/s41467-018-07327-2
- URN
-
urn:nbn:de:101:1-2018123001353034333018
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:51 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Molnár, Botond
- Molnár, Ferenc
- Varga, Melinda
- Toroczkai, Zoltán
- Ercsey-Ravasz, Mária
- SpringerLink (Online service)
Ähnliche Objekte (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
Approximate Control for Continuous-Time POMDPs
Nonparametric Methods in Continuous-Time Finance
Closed-form continuous-time neural networks
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
Approximate Control for Continuous-Time POMDPs
Nonparametric Methods in Continuous-Time Finance
Closed-form continuous-time neural networks
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
Approximate Control for Continuous-Time POMDPs
Nonparametric Methods in Continuous-Time Finance
Closed-form continuous-time neural networks