| Original language | English |
|---|---|
| Publisher | IOS Press |
| Publication status | Published - Feb 2009 |
Fields of science
- 102 Computer Sciences
- 101013 Mathematical logic
- 102001 Artificial intelligence
Handbook of Satisfiability
Armin Biere (Editor), Hans van Maaren (Editor), T. Walsh (Editor), M. Heule (Editor)
Research output: Book › Anthology