Cesare Tinelli
Papers
| authors | title | volume | pages | |
|---|---|---|---|---|
| Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors) | EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions | EPiC Series, Volume 6 |
Keywords
| # | keywords |
|---|
| authors | title | volume | pages | |
|---|---|---|---|---|
| Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors) | EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions | EPiC Series, Volume 6 |
| # | keywords |
|---|