- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Ereignis
-
Veröffentlichung
- (wo)
-
Köln
- (wer)
-
Universitäts- und Stadtbibliothek Köln
- (wann)
-
2007
- Urheber
-
Porschen, Stefan
Speckenmeyer, Ewald
- URN
-
urn:nbn:de:hbz:38-549086
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:21 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
- Porschen, Stefan
- Speckenmeyer, Ewald
- Universitäts- und Stadtbibliothek Köln
Entstanden
- 2007
Ähnliche Objekte (12)
A Survey on Exact Algorithms of SAT
Quantum algorithms for weighted constrained sampling and weighted model counting
Modeling and solving staff scheduling with partial weighted maxSAT
Weighted Voronoi region algorithms for political districting
SAT-based verification : from core algorithms to novel application domains
Improved Approximation Algorithms for Weighted k-Set Packing
Generalized weighted tree similarity algorithms for taxonomy trees
noSAT-MaxSAT
Inexact first-order primal–dual algorithms
Inexact first-order primal–dual algorithms
Weighted averages of random variables and exact weights
Weighted kernel operators in variable exponent amalgam spaces
A Survey on Exact Algorithms of SAT
Quantum algorithms for weighted constrained sampling and weighted model counting
Modeling and solving staff scheduling with partial weighted maxSAT
Weighted Voronoi region algorithms for political districting
SAT-based verification : from core algorithms to novel application domains
Improved Approximation Algorithms for Weighted k-Set Packing
Generalized weighted tree similarity algorithms for taxonomy trees
noSAT-MaxSAT
Inexact first-order primal–dual algorithms
Inexact first-order primal–dual algorithms
Weighted averages of random variables and exact weights
Weighted kernel operators in variable exponent amalgam spaces
A Survey on Exact Algorithms of SAT
Quantum algorithms for weighted constrained sampling and weighted model counting
Modeling and solving staff scheduling with partial weighted maxSAT
Weighted Voronoi region algorithms for political districting
SAT-based verification : from core algorithms to novel application domains
Improved Approximation Algorithms for Weighted k-Set Packing
Generalized weighted tree similarity algorithms for taxonomy trees
noSAT-MaxSAT
Inexact first-order primal–dual algorithms
Inexact first-order primal–dual algorithms
Weighted averages of random variables and exact weights