The Use of Max-Sat for Optimal Choice of Automated Theory Repairs. - Marius Urbonas; Alan Bundy; Juan Casanova; Xue Li 018 (SGAI Conf., 2020)

Automating reward function configuration for drug design. - Marius Urbonas; Temitope Ajileye; Paul Gainer; Douglas Pires (CoRR, 2023)