| * | 2007 |
|---|
| 4 | EE | Alex Aiken,
Suhabe Bugrara,
Isil Dillig,
Thomas Dillig,
Brian Hackett,
Peter Hawkins:
An overview of the saturn project.
PASTE 2007: 43-48 |
| 2006 |
|---|
| 3 | EE | Peter Hawkins,
Peter J. Stuckey:
A Hybrid BDD and SAT Finite Domain Constraint Solver.
PADL 2006: 103-117 |
| 2005 |
|---|
| 2 | EE | Peter Hawkins,
Vitaly Lagoon,
Peter J. Stuckey:
Solving Set Constraint Satisfaction Problems using ROBDDs.
J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005) |
| 2004 |
|---|
| 1 | EE | Peter Hawkins,
Vitaly Lagoon,
Peter J. Stuckey:
Set Bounds and (Split) Set Domain Propagation Using ROBDDs.
Australian Conference on Artificial Intelligence 2004: 706-717 |
