Upload

Loading...

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

215 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...

to add this to Watch Later

Add to