Hochschulschrift
Robust algorithms for high quality test pattern generation using Boolean satisfiability
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
26 cm
- Extent
-
VIII, 182 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Bremen, Univ., Diss., 2010
- Classification
-
Elektrotechnik, Elektronik
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:49 PM 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.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Boolean Satisfiability: Theory and Engineering
Algorithms for Satisfiability beyond Resolution
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
A boolean satisfiability approach to the resource-constrained project scheduling problem
Boolean networks with robust and reliable trajectories
Simple and robust Boolean operations for triangulated surfaces
Satisfiability problems
Boolean Gröbner bases : theory, algorithms and applications = Boolesche Gröbnerbasen
Comparing variants of MMAS ACO algorithms on pseudo-boolean functions
Generalized satisfiability problems
Generalized satisfiability problems
Boolean Satisfiability: Theory and Engineering
Algorithms for Satisfiability beyond Resolution
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
A boolean satisfiability approach to the resource-constrained project scheduling problem
Boolean networks with robust and reliable trajectories
Simple and robust Boolean operations for triangulated surfaces
Satisfiability problems
Boolean Gröbner bases : theory, algorithms and applications = Boolesche Gröbnerbasen
Comparing variants of MMAS ACO algorithms on pseudo-boolean functions
Generalized satisfiability problems
Generalized satisfiability problems
Boolean Satisfiability: Theory and Engineering
Algorithms for Satisfiability beyond Resolution
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
A boolean satisfiability approach to the resource-constrained project scheduling problem
Boolean networks with robust and reliable trajectories
Simple and robust Boolean operations for triangulated surfaces
Satisfiability problems
Boolean Gröbner bases : theory, algorithms and applications = Boolesche Gröbnerbasen
Comparing variants of MMAS ACO algorithms on pseudo-boolean functions
Generalized satisfiability problems