Home›Books›Fahiem BacchusFahiem BacchusNo biography available.Works (2)Representing and reasoning with probabilistic knowledgeTheory and applications of satisfiability testing