Thermal vacuum tests for the ESA's OPS-SAT mission.
Manuel KubickaReinhard ZeifMaximilian HenkelAndreas Johann HörmerPublished in: Elektrotech. Informationstechnik (2022)
Keyphrases
- production system
- expert systems
- sat solvers
- sat problem
- satisfiability problem
- power plant
- ultra high
- boolean satisfiability
- infrared
- constraint satisfaction
- stochastic local search
- stochastic local search algorithms
- finite element analysis
- european space agency
- multiprocessor architecture
- space shuttle
- sat solving
- propositional satisfiability
- orders of magnitude
- test cases