Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010

Aaron Stump, Geoff Sutcliffe, Cesare Tinelli, editors, Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010. Volume 6 of EPiC Series, EasyChair, 2012. [doi]

Conference: cade2012

Abstract

Abstract is missing.

Table of Contents