Andrew G. D. Rowley
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2003–2005
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | SAT | Local and Global Complete Solution Learning Methods for QBF. | Ian P. Gent, Andrew G. D. Rowley |
| 2004 | ECAI | Encoding Quantified CSPs as Quantified Boolean Formulae. | Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley |
| 2003 | CP | Using Stochastic Local Search to Solve Quantified Boolean Formulae. | Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth |
| 2003 | CP | Watching Clauses in Quantified Boolean Formulae. | Andrew G. D. Rowley |
| 2003 | SAT | Watched Data Structures for QBF Solvers. | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |