EMS+QMS 2010

Printer-friendly version

Website: EMS+QMS 2010
When: July 20 2010
Where: Edinburgh, UK
Part of: IJCAR 2010
The Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions The EMSQMS workshop is concerned with the aspects of logic solver evaluation described above: methods by which logic solvers can be meaningfully evaluated, with a separated focus on metrics by which solvers' solutions can be evaluated. The workshop will collect ideas and inputs on these topics, to provide specific advice and resources that will help logic solver developers and users obtain meaningful evaluations for research and application