Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:I.P.Gent E.Giunchiglia M.Narizzano A.Tacchella
Talks about:qbf (2) structur (1) complet (1) solver (1) method (1) global (1) watch (1) solut (1) local (1) learn (1)
Person: Andrew G. D. Rowley
DBLP: Rowley:Andrew_G=_D=
Contributed to:
20052003Wrote 2 papers:
- SAT-2005-GentR #learning
- Local and Global Complete Solution Learning Methods for QBF (IPG, AGDR), pp. 91–106.
- SAT-2003-GentGNRT #data type
- Watched Data Structures for QBF Solvers (IPG, EG, MN, AGDR, AT), pp. 25–36.