Publications:

• 2007
  • Asynchronous Forward Checking for DisCSPs [A.Meisels & Roie Zivan] Constraints Journal Constraints. vol. 12(1), 2007.(ps)
  • Min-Domain ordering for Asynchronous Backtracking on DisCSPs, [Roie Zivan, Moshe Zazone and Amnon Meisels]. CP-2007, September 2007, Providence, USA. (pdf)
• 2006
  • Dynamic Ordering for Asynchronous Backtracking on DisCSPs [R.Zivan & A.Misels] Constraints Journal vol. 11(2-3), pp. 179-197, 2006.(pdf)
  • Concurrent Search for DisCSPs, [R.Zivan & A.Meisels] Artificial Intelligence Journal(AIJ). vol. 170, pp. 440-461, 2006. (pdf)
  • Message Delays and DisCSP search algorithms [R.Zivan & A.Meisels] Annals of Mathmatics and Artificial Inteligence Journal (AMAI). vol. 46(4), 2006 (pdf)
  • Message delay and Asynchronous DisCSP search. [R.Zivan & A.Meisels] Archives of Control Sciences. Accepted for publication. 2006 (pdf)
  • Retroactive ordering for Dynamic Backtracking, [Roie Zivan , Moshe Zazone, Uri Shapen and Amnon Meisels], Principles and Practice of Constraints Programming, September 2006, Nantes. (pdf)
  • Asynchronous Forward-Bounding for Distributed Constraints Optimization, [Amir Gershman, Amnon Meisels and Roie Zivan]. ECAI 2006, August 2006, Riva del Garda, Italy. (pdf)
  • Retroactive ordering heuristics for Asynchronous Backtracking on DisCSPs, [Roie Zivan, Moshe Zazone and Amnon Meisels]. AAMAS-2006, Workshop on Distributed Constraint Reasoning DCR, May 2006, Japan. (pdf)
  • Generic run-time measurement for DisCSPs search algorithms, [Roie Zivan and Amnon Meisels]. DisCSP Workshop, ECAI 2006, August 2006, Riva del Garda, Italy. (pdf)
  • Conflict directed Backjumping for MaxCSPs, [Roie Zivan and Amnon Meisels]. accepted for presentation at IJCAI, January 2007, Hyderabad, India. (pdf)
• 2005
  • Dynamic Ordering for Asynchronous Backtracking on DisCSPs [R.Zivan & A.Meisels] Best Paper CP-05(pdf)
  • Centralized and Distributed secure protocols for DisCSPs [K.Nissim and R.Zivan] DCR 05(pdf)
  • Asynchronous Backtracking for Asymmetric DisCSPs [R.Zivan & A.Meisels] DCR 05(pdf)
  • Centralized and Distributed secure protocols for DisCSPs [K.Nissim and R.Zivan] DCR 05(pdf)
  • Conflict based Backjumping for Constraints Optimization Problems [R.Zivan & A.Meisels] Workshop on Preferrences and Soft Constraints CP05(pdf)
• 2004
  • Concurrent Backtrack Search on DisCSP's [R.Zivan & A.Meisels] FLAIRS-2004(full version) (pdf)
  • Concurrent Dynamic Backtracking for DisCSPs [R.Zivan & A.Meisels] CP-2004 (full version) (pdf)
  • Message Delays and DisCSP search algorithms [R.Zivan & A.Meisels] DCR-2004 workshop, CP-2004 (pdf)
• 2003
  • Synchronous vs Asynchronous search on DisCSP's [R.Zivan & A.Misels] (pdf)
  • Asynchronous Forward-checking on DisCSP's [A.Misels & Roie Zivan] collection of papers submit to DCR-2003, IOS press(pdf)
• 2002
  • Parallel BackTrack Search on DisCSP's [R.Zivan & A.Meisels] DCR-2002 Bologna (pdf)
  • Concurrent Constraints Checks measuring DisCSP search[A.Meisels, E.Kaplansky, I.Razgon & R.Zivan] DCR-2002 Bologna (pdf)