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) Author of T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games within the Tutorials-track
Show activities from other conferences