Login / Signup
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control.
Koen Claessen
Niklas Eén
Mary Sheeran
Niklas Sörensson
Alexey Voronov
Knut Åkesson
Published in:
Discret. Event Dyn. Syst. (2009)
Keyphrases
</>
sat solving
supervisory control
data acquisition
sat solvers
discrete event
power grid
control system
sat problem
real time
boolean satisfiability
learning algorithm
data processing
power system
autonomous agents
symmetry breaking