SaMBA: Increasing Mixed Boolean-Arithmetic Complexity Through Equality Saturation
- König, Caroline
- Schmidt, David
- König, Philip
- Felbauer, Patrick
- Schrittwieser, Sebastian
Top
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
ACM ASIACCS 2026 |
Divisions |
Security and Privacy |
Subjects |
Computersicherheit Angewandte Informatik |
Event Location |
Bangalore, India |
Event Type |
Conference |
Event Dates |
1-5 June 2026 |
Date |
1 June 2026 |
Export |
Top
