Andrew G. D. Rowley

Publication Activity (10 Years)

Years Active: 2003-2019
Publications (10 Years): 2

Top Topics

Execution Engine

Spiking Neurons

Top Venues

Publications

Oliver Rhodes, Luca Peres, Andrew G. D. Rowley, Andrew Gait, Luis A. Plana, Christian Y. A. Brenninkmeijer, Steve B. Furber
Real-Time Cortical Simulation on Neuromorphic Hardware. CoRR (2019)
Andrew G. D. Rowley, Christian Y. A. Brenninkmeijer, Simon Davidson, Donal Fellows, Andrew Gait, David R. Lester, Luis A. Plana, Oliver Rhodes, Alan B. Stokes, Steve B. Furber
SpiNNTools: The Execution Engine for the SpiNNaker Platform. CoRR (2018)
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou
Solving quantified constraint satisfaction problems. Artif. Intell. 172 (6-7) (2008)
Ian P. Gent, Andrew G. D. Rowley
Local and Global Complete Solution Learning Methods for QBF. SAT (2005)
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley
Encoding Quantified CSPs as Quantified Boolean Formulae. ECAI (2004)
Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth
Using Stochastic Local Search to Solve Quantified Boolean Formulae. CP (2003)
Andrew G. D. Rowley
Watching Clauses in Quantified Boolean Formulae. CP (2003)
Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
Watched Data Structures for QBF Solvers. SAT (2003)