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
Visualization of CHR through source-to-source transformation	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
Principles of constraint systems and constraint solvers	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

This page was built for person: Slim Abdennadher