SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Hamed Gorjiara

Registered user since Fri 15 May 2020

Name: Hamed Gorjiara

Affiliation: University of California at Irvine

Personal website: http://gorjiara.net

Research interests: Systems, Programming Languages, Artificial Intelligence

Contributions

SPLASH 2020 SATUNE: Synthesizing Efficient SAT Encoders
Satune: Synthesizing Efficient SAT Encoders
Show activities from other conferences

SPLASH 2020-profile
View general profile