Upload

Loading...

CDNLive San Jose 2012: Man vs Machine ... and the better Rubik's Cube solver is ...

222 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Mar 19, 2012

In this video two competing "verification" methodologies do battle: a Lego Mindstorms robot programmed by Cadence's Incisive Formal Verifier works to solve a Rubik's cube, vs. a human speed cuber. Will man or machine prevail? See the video to find out ...
(This is the same machine that challenged 3 human speed cubers at DVCon. At that show, man beat machine 2-1. Here is video of one challenger: http://youtu.be/0zre6zstaG0

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up Next


to add this to Watch Later

Add to

Loading playlists...