Login / Signup
Andrea Balogh
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 4
Top Topics
Flowshop
Search Procedures
Top Venues
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
SAC
Comput. Oper. Res.
ECAI
</>
Publications
</>
Andrea Balogh
,
Guillaume Escamocher
,
Barry O'Sullivan
Partial Compilation of SAT Using Selective Backbones.
ECAI
(2023)
Andrea Balogh
,
Barry O'Sullivan
Breaking Symmetry for Knowledge Compilation.
SAC
(2023)
Andrea Balogh
,
Michele Garraffa
,
Barry O'Sullivan
,
Fabio Salassa
MILP-based local search procedures for minimizing total tardiness in the No-idle Permutation Flowshop Problem.
Comput. Oper. Res.
146 (2022)
Andrea Balogh
,
Deepak Mehta
,
Piotr Sobonski
,
Alieldin Mady
,
Satyanarayana Vuppala
Learning Constraint-Based Model for Detecting Malicious Activities in Cyber Physical Systems.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
(2019)