422 big picture: Where are we With reading papers? Query Planning DeterministicStochastic Value Iteration Approx. Inference Full Resolution SAT Logics.
