Title: | Automatic Structure Verification (ASV) as an AI wizard: the milestones met and the challenges looming ahead |
Authors: | Carlos Cobas, Felipe Seoane, Stanyslav Sykora |
Date: | 2013/04/19 |
Reference: | ENC Conference 2013, Asilomar, California, USA |
PDF: | ENC_2013-ASV.pdf |