The Succinct Solver Suite
- Flemming Nielson
- , Hanne Riis Nielson
- , Hongyan Sun
- , Mikael Buchholtz
- , René Rydhof Hansen
- , Henrik Pilegaard
- , Helmut Seidl
- Technical University of Denmark
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
21
Scopus
citations