Travelled to:
1 × Italy
Collaborated with:
E.Giunchiglia M.Maratea A.Tacchella
Talks about:
techniqu (1) proposit (1) satisfi (1) heurist (1) search (1) optim (1) evalu (1)
Person: Davide Zambonin
DBLP: Zambonin:Davide
Contributed to:
Wrote 1 papers:
- IJCAR-2001-GiunchigliaMTZ #heuristic #optimisation #satisfiability
- Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability (EG, MM, AT, DZ), pp. 347–363.