Registered user since Mon 25 Jan 2016

Name: Stefan Heule

Country: United States

Affiliation: Stanford University, USA

Personal website: https://stefanheule.com/

ICFP 2017 Activities

• Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
• Show activities from other conferences