Bounds and (Split) Set Domain Propagation Using ROBDDs

Select |




Print


Hawkins, PJ; Lagoon, V.; Stuckey, Peter


2004-12-03


Conference Material


2004 Australian Conference on Artificial Intelligence


Cairns, Australia


707-717


nicta:2381


Hawkins, PJ; Lagoon, V.; Stuckey, Peter. Bounds and (Split) Set Domain Propagation Using ROBDDs. In: 2004 Australian Conference on Artificial Intelligence; Cairns, Australia. 2004-12-03. 707-717.



Loading citation data...

Citation counts
(Requires subscription to view)