Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making when Creating Common Academic Schedules. - Joshua C. Manzano; Adrienne Francesca O. Soliven; Antonio Miguel B. Llamas; Shenn Margareth V. Tinsay; Briane Paul V. Samson; Rafael A. Cabredo (CHI, 2021)

ConCoNet: Class-agnostic counting with positive and negative exemplars. - Adrienne Francesca O. Soliven; John Jethro Virtusio; Jose Jaena Mari Ople; Daniel Stanley Tan; Divina Amalin; Kai-Lung Hua (Pattern Recognit. Lett., 2023)