Eric Mertens - ICFP 2018

Registered user since Sun 23 Sep 2018

Name:Eric Mertens

Affiliation:Galois, Inc.

Contributions

ICFP 2018	Session Chair of T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games (part of Tutorials) T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games
Show activities from other conferences