Satisfiability Modulo Theory and Binary Puzzle

Putranto Utomo (Speaker)

Activity: Talk or presentation typesContributed talkScientific

Period6 Dec 2016 - 7 Dec 2016
Held atInternational Conference on Mathematics : Education, Theory, and Application (ICMETA) 2016
Event typeConference
Location