Slim Abdennadher

Available identifiers

zbMath Open abdennadher.slimMaRDI QIDQ1300289

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4631189	2019-04-24	Paper
Automatic generation of rule-based constraint solvers over finite domains	2017-07-12	Paper
Combining Forward and Backward Propagation	2017-02-27	Paper
CHR in Action	2016-02-05	Paper
Exhaustive Execution of CHR Through Source-to-Source Transformation	2015-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q5398049	2014-02-25	Paper
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming	2011-03-04	Paper
Constraint Reasoning with Uncertain Data Using CDF-Intervals	2010-06-22	Paper
Constructing Rule-Based Solvers for Intentionally-Defined Constraints	2009-03-26	Paper
Generation of Rule-Based Constraint Solvers: Combined Approach	2009-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3536358	2008-11-21	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Automatic generation of CHR constraint solvers	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4737134	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4475619	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4472550	2004-08-04	Paper
The Munich Rent Advisor: A success for logic programming on then Internet	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q2701742	2001-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4495104	2001-01-04	Paper
Confluence and semantics of constraint simplification rules	1999-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4218845	1999-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4364380	1998-06-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Slim Abdennadher