|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Reasoning about Lock Placements.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey |
Solving Set Constraint Satisfaction Problems using ROBDDs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data representation synthesis. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data Structure Fusion. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins |
An overview of the saturn project. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
verification, program analysis, boolean satisfiability |
| 1 | Peter Hawkins, Peter J. Stuckey |
A Hybrid BDD and SAT Finite Domain Constraint Solver. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey |
Solving Set Constraint Satisfaction Problems using ROBDDs. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey |
Set Bounds and (Split) Set Domain Propagation Using ROBDDs. |
Australian Conference on Artificial Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")