|
Search the dblp DataBase
Peter Hawkins:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
Set Bounds and (Split) Set Domain Propagation Using ROBDDs. [Citation Graph (0, 0)][DBLP] Australian Conference on Artificial Intelligence, 2004, pp:706-717 [Conf]
- Peter Hawkins, Peter J. Stuckey
A Hybrid BDD and SAT Finite Domain Constraint Solver. [Citation Graph (0, 0)][DBLP] PADL, 2006, pp:103-117 [Conf]
- Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
An overview of the saturn project. [Citation Graph (0, 0)][DBLP] PASTE, 2007, pp:43-48 [Conf]
- Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
Solving Set Constraint Satisfaction Problems using ROBDDs. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2005, v:24, n:, pp:109-156 [Journal]
Search in 0.001secs, Finished in 0.001secs
|