Andrea Balogh

According to our database, Andrea Balogh authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Breaking Symmetry for Knowledge Compilation.

Andrea Balogh, Barry O'Sullivan

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Partial Compilation of SAT Using Selective Backbones.

Andrea Balogh, Guillaume Escamocher, Barry O'Sullivan

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

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

2019

Learning Constraint-Based Model for Detecting Malicious Activities in Cyber Physical Systems.

Andrea Balogh, Deepak Mehta, Piotr Sobonski, Alieldin Mady, Satyanarayana Vuppala

Proceedings of the 2019 IEEE SmartWorld, 2019