@TechReport{Disolver03,
  author = 	 {Y. Hamadi},
  title = 	 {Disolver~: A {D}istributed {C}onstraint {S}olver},
  institution =  {Microsoft Research},
  year = 	 {2003},
  number = 	 {MSR-TR-2003-91},
  month = 	 {Dec},
}