BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Benhamou:Bela=iuml=d

Contributed to:

KDIR 20142014
CADE 20022002
CADE 20002000
CL 20002000
CADE 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.