AllSAT for Combinational Circuits. - Dror Fried; Alexander Nadel; Yogev Shalmon (SAT, 2023)

Entailing Generalization Boosts Enumeration. - Dror Fried; Alexander Nadel; Roberto Sebastiani; Yogev Shalmon (SAT, 2024)

Enumerating All Boolean Matches. - Alexander Nadel; Yogev Shalmon (SAT, 2025)