| Original language | English |
|---|---|
| Title of host publication | Handbook of Satisfiability |
| Subtitle of host publication | Second Edition |
| Publisher | IOS Press |
| Pages | 765-789 |
| Number of pages | 25 |
| ISBN (Electronic) | 9781643681610 |
| ISBN (Print) | 9781643681603 |
| DOIs | |
| Publication status | Published - 5 May 2021 |
| MoE publication type | A3 Part of a book or another research book |
Publication series
| Name | Frontiers in Artificial Intelligence and Applications |
|---|