Satisfiability Modulo Theory and Binary Puzzle

  • Putranto Utomo (Speaker)

Activity: Talk or presentation types › Contributed talk › Scientific

Period6 Dec 2016 → 7 Dec 2016
Event titleInternational Conference on Mathematics : Education, Theory, and Application (ICMETA) 2016
Event typeConference