On-board autonomy operations for OPS-SAT experiment.

Simone Fratini Nicola Policella Ricardo Silva João Guerreiro

Published in: Appl. Intell. (2022)

Keyphrases

production system
expert systems
sat solvers
satisfiability problem
cooperative
multi agent systems
fault diagnosis
data sets
sat problem
sat solving
stochastic local search
search strategies
satisfiability testing
stochastic local search algorithms
sat instances
constraint satisfaction
artificial intelligence