or cancel
  1. Property Directed Reachability

    01:04:28

    from Galois Video / Liked

    384 Plays / / 0 Comments

    abstract: Last spring, in March 2010, Aaron Bradley published the first truly new bit-level symbolic model checking algorithm since Ken McMillan’s interpolation based model checking procedure…

    + More details
    • The Strategy Challenge in Computer Algebra

      52:19

      from Galois Video / Liked

      358 Plays / / 0 Comments

      abstract: In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms…

      + More details
      • Beam Drop - Chris Burden

        05:25

        from Fabiano Waewell / Liked

        Apple Color Editing and Color Grading Direção: Pablo Lobato http://www.canalcontemporaneo.art.br/saloesepremios/archives/003504.html#1

        + More details
        • Destroyer - Bye bye

          03:01

          from Merge Records / Liked

          20.8K Plays / / 9 Comments

          Director: David Galloway Director of Photography: Liam Mitchell Producers: David Galloway & David Ehrenreich Production Company: Border Patrol Films

          + More details

          Browse Likes

          Dejan Jovanović

          Likes are an easy way to keep track of the videos you enjoy. Use likes to bookmark videos you want to watch again and again and again and again.

          Also Check Out