2009

MAC-DBT Revisited.

[DOI]

Roie Zivan

,

Uri Shapen

,

Moshe Zazone

,

Amnon Meisels

Proceedings of the Recent Advances in Constraints, 2009

2006

Retroactive Ordering for Dynamic Backtracking.

[DOI]

Roie Zivan

,

Uri Shapen

,

Moshe Zazone

,

Amnon Meisels

Proceedings of the Principles and Practice of Constraint Programming, 2006