The top documents tagged [triggering assignment]

Hypothetical Reasoning in Propositional Satisfiability SAT02, May, 2002 Joao Marques-Silva Technical University of Lisbon, IST/INESC, CEL Lisbon, Portugal.

---

215 views

Hypothetical Reasoning in Propositional Satisfiability

---

38 views

Hypothetical Reasoning in Propositional Satisfiability

---

33 views