| Original language | English |
|---|---|
| Title of host publication | Handbook of Satisfiability |
| Subtitle of host publication | Second Edition |
| Publisher | IOS Press |
| Pages | 75-100 |
| Number of pages | 26 |
| ISBN (Electronic) | 9781643681610 |
| ISBN (Print) | 9781643681603 |
| DOIs | |
| Publication status | Published - 5 May 2021 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver