Original language | Undefined/Unknown |
---|---|
Title of host publication | Handbook of Satisfiability |
Editors | A Biere, MJH Heule, H van Maaren |
Place of Publication | Amsterdam |
Publisher | IOS Press |
Pages | 155-184 |
Number of pages | 980 |
ISBN (Print) | 978-1-58603-929-5 |
Publication status | Published - 2009 |
Keywords
- Boekdeel internat.wet