Large-scale Gatelevel Optimization Leveraging Property Checking Author(s): Lucas Klemmer; Dominik Bonora; Daniel Grosse Location: Europe Year: 2023 Type: Paper Download