Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs.

Jordy Ruiz Hugues Cassé

Published in: WCET (2015)

Keyphrases

solving problems
search space
shortest path
mobile robot
multi class
linear program
combinatorial optimization
non binary
programming environment
stable models
statistical machine translation
control program
sparse matrices