Modelling the barents territory coverage area of satellite KA-SAT.

Alexey Lagunov Vladimir Terekhin

Published in: EUROCON (2017)

Keyphrases

sat solvers
remote sensing
sat problem
boolean satisfiability
real time
knowledge base
case study
search algorithm
sat solving
phase transition
sat instances
propositional satisfiability
backtracking search
surface temperature
test suite
constraint satisfaction problems
high resolution
neural network