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