 | 2008 |
|---|
| 6 |       | Ian P. Gent,
Peter Nightingale,
Andrew G. D. Rowley,
Kostas Stergiou:
Solving quantified constraint satisfaction problems.
Artif. Intell. 172(6-7): 738-771 (2008) |
| 2005 |
|---|
| 5 | | Ian P. Gent,
Andrew G. D. Rowley:
Local and Global Complete Solution Learning Methods for QBF.
SAT 2005: 91-106 |
| 2004 |
|---|
| 4 |  | Ian P. Gent,
Peter Nightingale,
Andrew G. D. Rowley:
Encoding Quantified CSPs as Quantified Boolean Formulae.
ECAI 2004: 176-180 |
| 2003 |
|---|
| 3 | | Ian P. Gent,
Holger H. Hoos,
Andrew G. D. Rowley,
Kevin Smyth:
Using Stochastic Local Search to Solve Quantified Boolean Formulae.
CP 2003: 348-362 |
| 2 | | Andrew G. D. Rowley:
Watching Clauses in Quantified Boolean Formulae.
CP 2003: 994 |
| 1 | | Ian P. Gent,
Enrico Giunchiglia,
Massimo Narizzano,
Andrew G. D. Rowley,
Armando Tacchella:
Watched Data Structures for QBF Solvers.
SAT 2003: 25-36 |
