A survey of recent advances in SAT-based formal verification
- Mukul R. Prasad
- , Armin Biere
- , Aarti Gupta
Research output: Contribution to journal › Review article › peer-review
218
Link opens in a new tab
Scopus
citations