`Travelled to:`

1 × Canada

1 × Germany

2 × USA

`Collaborated with:`

A.K.Jagota P.v.Beek I.Rish R.Ben-Eliyahu ∅ I.Meiri J.Pearl

`Talks about:`

constraint (2) relat (2) distribut (1) algorithm (1) proposit (1) procedur (1) disjunct (1) decompos (1) revisit (1) resolut (1)

## Person: Rina Dechter

### DBLP: Dechter:Rina

### Contributed to:

### Wrote 6 papers:

- SAC-1997-JagotaD #algorithm #distributed #problem
- Simple distributed algorithms for the cycle cutset problem (AKJ, RD), pp. 366–373.
- KR-1994-BeekD #consistency #constraints
- Constraint Tightness versus Global Consistency (PvB, RD), pp. 572–582.
- KR-1994-DechterR #revisited
- Directional Resolution: The Davis-Putnam Procedure, Revisited (RD, IR), pp. 134–145.
- JICSLP-1992-Ben-EliyahuD #logic programming #source code
- Propositional Sematics for Disjunctive Logic Programs (RBE, RD), pp. 813–827.
- KR-1989-DechterMP #constraints #network
- Temporal Constraint Networks (RD, IM, JP), pp. 83–93.
- PODS-1987-Dechter
- Decomposing an N-ary Relation into a Tree of Binary Relations (RD), pp. 185–189.