×

zbMATH — the first resource for mathematics

Abdennadher, Slim

Compute Distance To:
Author ID: abdennadher.slim Recent zbMATH articles by "Abdennadher, Slim"
Published as: Abdennadher, Slim; Abdennadher, S.
Documents Indexed: 23 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 39 times in 29 Documents Cited by Year
Confluence and semantics of constraint simplification rules. Zbl 0951.68070
Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger
11
1999
Essentials of constraint programming. Zbl 1064.68026
Frühwirt, Thom; Abdennadher, Slim
9
2003
Automatic generation of CHR constraint solvers. Zbl 1104.68007
Abdennadher, Slim; Rigotti, Christophe
3
2005
Automatic generation of rule-based constraint solvers over finite domains. Zbl 1367.68259
Abdennadher, Slim; Rigotti, Christophe
2
2004
Operational equivalence of CHR programs and constraints. Zbl 0960.68104
Abdennadher, Slim; Frühwirth, Thom
2
1999
University timetabling using constraint handling rules. Zbl 0910.68232
Abdennadher, Slim; Marte, Michael
2
1998
Integration and optimization of rule-based constraint solvers. Zbl 1099.68718
Abdennadher, Slim; Frühwirth, Thom
2
2004
Automatic generation of propagation rules for finite domains. Zbl 1044.68733
Abdennadher, Slim; Rigotti, Christophe
1
2000
Towards inductive constraint solving. Zbl 1067.68606
Abdennadher, Slim; Rigotti, Christophe
1
2001
Tutorial: reasoning with, about and for constraint handling rules. Zbl 1057.68573
Fruehwirth, Thom; Abdennadher, Slim
1
2002
Visualization of CHR through source-to-source transformation. Zbl 1281.68059
Abdennadher, Slim; Sharaf, Nada
1
2012
The Munich Rent Advisor: A success for logic programming on then Internet. Zbl 1090.68572
Frühwirth, Thom; Abdennadher, Slim
1
2001
Exhaustive execution of CHR through source-to-source transformation. Zbl 1457.68040
Elsawy, Ahmed; Zaki, Amira; Abdennadher, Slim
1
2015
Impact behavior of honeycombs under combined shear-compression. I: Experiments. Zbl 1236.74227
Hou, B.; Ono, A.; Abdennadher, S.; Pattofatto, S.; Li, Y. L.; Zhao, H.
1
2011
Generation of rule-based constraint solvers: Combined approach. Zbl 1179.68021
Abdennadher, Slim; Sobhi, Ingi
1
2008
Exhaustive execution of CHR through source-to-source transformation. Zbl 1457.68040
Elsawy, Ahmed; Zaki, Amira; Abdennadher, Slim
1
2015
Visualization of CHR through source-to-source transformation. Zbl 1281.68059
Abdennadher, Slim; Sharaf, Nada
1
2012
Impact behavior of honeycombs under combined shear-compression. I: Experiments. Zbl 1236.74227
Hou, B.; Ono, A.; Abdennadher, S.; Pattofatto, S.; Li, Y. L.; Zhao, H.
1
2011
Generation of rule-based constraint solvers: Combined approach. Zbl 1179.68021
Abdennadher, Slim; Sobhi, Ingi
1
2008
Automatic generation of CHR constraint solvers. Zbl 1104.68007
Abdennadher, Slim; Rigotti, Christophe
3
2005
Automatic generation of rule-based constraint solvers over finite domains. Zbl 1367.68259
Abdennadher, Slim; Rigotti, Christophe
2
2004
Integration and optimization of rule-based constraint solvers. Zbl 1099.68718
Abdennadher, Slim; Frühwirth, Thom
2
2004
Essentials of constraint programming. Zbl 1064.68026
Frühwirt, Thom; Abdennadher, Slim
9
2003
Tutorial: reasoning with, about and for constraint handling rules. Zbl 1057.68573
Fruehwirth, Thom; Abdennadher, Slim
1
2002
Towards inductive constraint solving. Zbl 1067.68606
Abdennadher, Slim; Rigotti, Christophe
1
2001
The Munich Rent Advisor: A success for logic programming on then Internet. Zbl 1090.68572
Frühwirth, Thom; Abdennadher, Slim
1
2001
Automatic generation of propagation rules for finite domains. Zbl 1044.68733
Abdennadher, Slim; Rigotti, Christophe
1
2000
Confluence and semantics of constraint simplification rules. Zbl 0951.68070
Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger
11
1999
Operational equivalence of CHR programs and constraints. Zbl 0960.68104
Abdennadher, Slim; Frühwirth, Thom
2
1999
University timetabling using constraint handling rules. Zbl 0910.68232
Abdennadher, Slim; Marte, Michael
2
1998

Citations by Year