| Original language | English |
|---|---|
| Pages | 5 |
| Number of pages | 5 |
| Publication status | Published - Aug 2004 |
Encoding Quantified CSPs as Quantified Boolean Formulae
Ian Philip Gent, P Nightingale, A Rowley
Research output: Contribution to conference › Paper
Ian Philip Gent, P Nightingale, A Rowley
Research output: Contribution to conference › Paper
| Original language | English |
|---|---|
| Pages | 5 |
| Number of pages | 5 |
| Publication status | Published - Aug 2004 |