Travelled to:1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:A.G.D.Rowley I.Miguel N.C.A.Moore E.Giunchiglia M.Narizzano A.Tacchella
Talks about:qbf (2) constraint (1) structur (1) complet (1) solver (1) propag (1) method (1) global (1) explan (1) watch (1)
Person: Ian P. Gent
DBLP: Gent:Ian_P=
Contributed to:
2010
20052003Wrote 3 papers:
- PADL-2010-GentMM #constraints #lazy evaluation
- Lazy Explanations for Constraint Propagators (IPG, IM, NCAM), pp. 217–233.
- 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.