`Travelled to:`

1 × Canada

1 × United Kingdom

`Collaborated with:`

R.Caferra N.Peltier

`Talks about:`

integ (2) expon (2) term (2) discrimin (1) theorem (1) perfect (1) prover (1) index (1) graph (1) dei (1)

## Person: Hicham Bensaid

### DBLP: Bensaid:Hicham

### Contributed to:

### Wrote 2 papers:

- IJCAR-2010-BensaidCP #graph #integer
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (HB, RC, NP), pp. 369–383.
- CADE-2009-BensaidCP #integer #named #proving #theorem proving
- Dei: A Theorem Prover for Terms with Integer Exponents (HB, RC, NP), pp. 146–150.