Satisability modulo theory and binary puzzle

P.H. Utomo

Research output: Contribution to conferenceAbstractAcademic

21 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2016
EventInternational Conference on Mathematics : Education, Theory, and Application (ICMETA) 2016 -
Duration: 6 Dec 20167 Dec 2016

Conference

ConferenceInternational Conference on Mathematics : Education, Theory, and Application (ICMETA) 2016
Period6/12/167/12/16

Cite this