Factored symmetries for merge-and-shrink abstractions
- Silvan Sievers
- , Martin Wehrle
- , Malte Helmert
- , Alexander Shleyfman
- , Michael Katz
- University of Basel
- Technion-Israel Institute of Technology
- IBM
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
16
Scopus
citations