Learning Constraint-Based Model for Detecting Malicious Activities in Cyber Physical Systems. - Andrea Balogh; Deepak Mehta 001; Piotr Sobonski; Alieldin Mady; Satyanarayana Vuppala (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)

MILP-based local search procedures for minimizing total tardiness in the No-idle Permutation Flowshop Problem. - Andrea Balogh; Michele Garraffa; Barry O'Sullivan; Fabio Salassa (Comput. Oper. Res., 2022)

Partial Compilation of SAT Using Selective Backbones. - Andrea Balogh; Guillaume Escamocher; Barry O'Sullivan (ECAI, 2023)

Breaking Symmetry for Knowledge Compilation. - Andrea Balogh; Barry O'Sullivan (SAC, 2023)

Determining the Most Promising Selective Backbone Size for Partial Knowledge Compilation. - Andrea Balogh; Guillaume Escamocher; Barry O'Sullivan (CPAIOR (1), 2025)