> Details

Stump, Aaron [Editor]; Sutcliffe, Geoff [Editor]; Tinelli, Cesare [Editor] ; Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions 2010 Edinburgh

EMSQMS 2010

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: EMSQMS 2010 : Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
  • Contributor: Stump, Aaron [Editor]; Sutcliffe, Geoff [Editor]; Tinelli, Cesare [Editor]
  • Published: [Manchester]: EasyChair, May 15, 2012
  • Published in: EPiC series in computing ; 6
  • Extent: 1 Online-Ressource; Illustrationen
  • Language: English
  • Keywords: Konferenzschrift
  • Origination:
  • University thesis:
  • Footnote: "EMS+QMS 2010, the Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions, affiliated with the IJCAR 2010, the 5th International Joint Conference on Automated Reasoning and CAV 2010, the 22nd International Conference on Computer Aided Verification, July 20, 2010, Edinburgh, UK" - Webseite des Workshops
    Literaturangaben
  • Access State: Open Access