Utomo, Putranto, TUe

• The 1st International Conference on Mathematics: Education, Theory & Application - abstrack
  Satisfiability modulo theory and binary puzzle
  Abstract