- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Event
-
Veröffentlichung
- (where)
-
Köln
- (who)
-
Universitäts- und Stadtbibliothek Köln
- (when)
-
1996
- Creator
-
Böhm, Max
Speckenmeyer, Ewald
- URN
-
urn:nbn:de:hbz:38-546874
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 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
- Böhm, Max
- Speckenmeyer, Ewald
- Universitäts- und Stadtbibliothek Köln
Time of origin
- 1996
Other Objects (12)
A parallel portfolio SAT solver with lockless physical clause sharing
A parallel iterative linear system solver with dynamic load balancing
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Workload balancing in identical parallel machine scheduling using a mathematical programming method
Workload balancing in production and logistics
Dynamic workload balancing for heterogeneous systems
Soft Computing Approaches to DPLL SAT Solver Optimization
Workload modeling for parallel computers
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A novel SAT solver for the Van der Waerden numbers
A parallel portfolio SAT solver with lockless physical clause sharing
A parallel iterative linear system solver with dynamic load balancing
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Workload balancing in identical parallel machine scheduling using a mathematical programming method
Workload balancing in production and logistics
Dynamic workload balancing for heterogeneous systems
Soft Computing Approaches to DPLL SAT Solver Optimization
Workload modeling for parallel computers
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A novel SAT solver for the Van der Waerden numbers
A parallel portfolio SAT solver with lockless physical clause sharing
A parallel iterative linear system solver with dynamic load balancing
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Workload balancing in identical parallel machine scheduling using a mathematical programming method
Workload balancing in production and logistics
Dynamic workload balancing for heterogeneous systems
Soft Computing Approaches to DPLL SAT Solver Optimization
Workload modeling for parallel computers
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver