On the Relationship Between Satisfiability and Markov Decision Processes.

Ricardo Salmon, Pascal Poupart

Browse the full UAI paper archive.