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.