Numerous real-world problems from a diverse set of application areas exi...
Over the last years, Industrial Control Systems (ICS) have become
increa...
This paper presents a MaxSAT benchmark focused on identifying critical n...
In recent years, Industrial Control Systems (ICS) have become an appeali...