1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CY2025
Next-Gen Education: Enhancing AI for Microlearning
Suman Saha, Fatemeh Rahbari, Farhan Sadique +3
This paper explores integrating microlearning strategies into university curricula, particularly in computer science education, to counteract the decline in class attendance and en…
cs.LO2012★ 1 cited
Two simulations about DPLL(T)
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
In this paper we relate different formulations of the DPLL(T) procedure. The first formulation is based on a system of rewrite rules, which we denote DPLL(T). The second formulatio…
cs.LO2012
A sequent calculus with procedure calls
Mahfuza Farooque, Stéphane Lengrand
In this paper, we extend the sequent calculus LKF into a calculus LK(T), allowing calls to a decision procedure. We prove cut-elimination of LK(T).