1 paper · 1 filter
Stefan Ratschan, Anggha Nugraha, Mikoláš Janota +1
The combination of uninterpreted function symbols and universal quantification occurs in many applications of automated reasoning, for example, due to their ability to reason about…