The following pages link to Slim Abdennadher (Q1300289):
Displaying 22 items.
- Confluence and semantics of constraint simplification rules (Q1300291) (← links)
- (Q2701742) (← links)
- Exhaustive Execution of CHR Through Source-to-Source Transformation (Q2949701) (← links)
- Combining Forward and Backward Propagation (Q2964470) (← links)
- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming (Q3079917) (← links)
- (Q3536358) (← links)
- Constraint Reasoning with Uncertain Data Using CDF-Intervals (Q3569940) (← links)
- Constructing Rule-Based Solvers for Intentionally-Defined Constraints (Q3616883) (← links)
- (Q4218845) (← links)
- (Q4364380) (← links)
- The Munich Rent Advisor: A success for logic programming on then Internet (Q4452633) (← links)
- (Q4472550) (← links)
- (Q4475619) (← links)
- (Q4495104) (← links)
- (Q4631189) (← links)
- (Q4737134) (← links)
- Automatic generation of rule-based constraint solvers over finite domains (Q5277694) (← links)
- Visualization of CHR through Source-to-Source Transformation (Q5398049) (← links)
- Generation of Rule-Based Constraint Solvers: Combined Approach (Q5504596) (← links)
- Automatic generation of CHR constraint solvers (Q5696591) (← links)
- Logic Based Program Synthesis and Transformation (Q5713942) (← links)
- CHR in Action (Q5743605) (← links)
