Nanosatellites - the BRITE and OPS-SAT missions.
Otto KoudelkaManuela UnterbergerPatrick RomanoPublished in: Elektrotech. Informationstechnik (2014)
Keyphrases
- production system
- expert systems
- satisfiability problem
- space exploration
- sat problem
- sat solvers
- search algorithm
- sat solving
- propositional satisfiability
- phase transition
- boolean satisfiability
- max sat
- stochastic local search algorithms
- search and rescue
- multiprocessor architecture
- graph coloring
- neural network
- multistage
- variable ordering
- stochastic local search
- orders of magnitude
- np complete
- search space
- space missions