Satisability modulo theory and binary puzzle

P.H. Utomo

Research output: Contribution to conference › Abstract › Academic

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

Conference

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

Access to Document

    Cite this