Gori, Marco Constraint verification with kernel machines. [electronic resource] - IEEE transactions on neural networks and learning systems May 2013 - 825-31 p. digital Publication Type: Journal Article; Research Support, Non-U.S. Gov't ISSN: 2162-2388 Standard No.: 10.1109/TNNLS.2013.2241787 doi