Travelled to:
1 × Denmark
Collaborated with:
S.Abdennadher
Talks about:
constraint (1) approach (1) generat (1) solver (1) combin (1) rule (1) base (1)
Person: Ingi Sobhi
DBLP: Sobhi:Ingi
Contributed to:
Wrote 1 papers:
- LOPSTR-2007-AbdennadherS #approach #constraints #generative #rule-based #theorem proving
- Generation of Rule-Based Constraint Solvers: Combined Approach (SA, IS), pp. 106–120.