We develop value iteration-based algorithms to solve in a unified manner...
Faces play a central role in the combinatorial and computational aspects...
log ('setlog') is a satisfiability solver for formulas of the theory of
...
Semidefinite programming can be considered over any real closed field,
i...