Conference Proceedings

Set bounds and (split) set domain propagation using ROBDDs

P Hawkins, V Lagoon, PJ Stuckey, GI Webb, X Yu

AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence | SPRINGER-VERLAG BERLIN | Published : 2004