Travelled to:1 × Denmark
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:G.Audemard L.Saïs L.Henocque P.Siegel S.Jabbour Y.Salhi
Talks about:symmetri (3) model (2) finit (2) techniqu (1) proposit (1) function (1) calculus (1) theoret (1) itemset (1) generat (1)
Person: Belaïd Benhamou
DBLP: Benhamou:Bela=iuml=d
Contributed to:
2014
20022000
20001992Wrote 5 papers:
- KDIR-2014-BenhamouJSS #mining #symmetry
- Symmetry Breaking in Itemset Mining (BB, SJ, LS, YS), pp. 86–96.
- CADE-2002-AudemardB #finite #generative #reasoning #symmetry
- Reasoning by Symmetry and Function Ordering in Finite Model Generation (GA, BB), pp. 226–240.
- CADE-2000-AudemardBH #finite
- Two Techniques to Improve Finite Model Search (GA, BB, LH), pp. 302–308.
- CL-2000-AudemardBS #named #satisfiability
- AVAL: An Enumerative Method for SAT (GA, BB, PS), pp. 373–383.
- CADE-1992-BenhamouS #calculus #symmetry
- Theoretical Study of Symmetries in Propositional Calculus and Applications (BB, LS), pp. 281–294.