Travelled to:
1 × USA
Collaborated with:
M.d.Rijke J.v.Benthem
Talks about:
behaviour (1) predict (1) ensembl (1) search (1) base (1) sat (1)
Person: Breanndán Ó Nualláin
DBLP: Nuall=aacute=in:Breannd=aacute=n_=Oacute=
Contributed to:
Wrote 1 papers:
- SAT-2001-NuallainRB #behaviour #predict #satisfiability
- Ensemble-based prediction of SAT search behaviour (BÓN, MdR, JvB), pp. 278–289.