Travelled to:1 × Italy
1 × USA
Collaborated with:G.Audemard B.Benhamou
Talks about:techniqu (1) heurist (1) search (1) number (1) improv (1) extend (1) model (1) least (1) finit (1) two (1)
Person: Laurent Henocque
DBLP: Henocque:Laurent
Contributed to:
2001
2000Wrote 2 papers:
- IJCAR-2001-AudemardH #heuristic
- The eXtended Least Number Heuristic (GA, LH), pp. 427–442.
- CADE-2000-AudemardBH #finite
- Two Techniques to Improve Finite Model Search (GA, BB, LH), pp. 302–308.