Probabilistic DAG Search