Slim Abdennadher

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7047281 (Why is no real title available?)	2019-04-24	Paper
Automatic generation of rule-based constraint solvers over finite domains ACM Transactions on Computational Logic	2017-07-12	Paper
Combining forward and backward propagation Frontiers of Combining Systems	2017-02-27	Paper
CHR in action Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Exhaustive Execution of CHR Through Source-to-Source Transformation Logic-Based Program Synthesis and 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 Logic Based Program Synthesis and Transformation	2011-03-04	Paper
Constraint reasoning with uncertain data using CDF-intervals Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2010-06-22	Paper
Constructing Rule-Based Solvers for Intentionally-Defined Constraints Constraint Handling Rules	2009-03-26	Paper
Generation of Rule-Based Constraint Solvers: Combined Approach Logic-Based Program Synthesis and Transformation	2009-01-22	Paper
Principles of constraint systems and constraint solvers	2008-11-21	Paper
Logic Based Program Synthesis and Transformation Lecture Notes in Computer Science	2005-12-27	Paper
Automatic generation of CHR constraint solvers Theory and Practice of Logic Programming	2005-10-18	Paper
scientific article; zbMATH DE number 2086600 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2084695 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 2080296 (Why is no real title available?)	2004-08-04	Paper
The Munich Rent Advisor: A success for logic programming on then Internet Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1566503 (Why is no real title available?) Cognitive Technologies	2001-02-19	Paper
scientific article; zbMATH DE number 1487975 (Why is no real title available?)	2001-01-04	Paper
Confluence and semantics of constraint simplification rules Constraints	1999-09-07	Paper
scientific article; zbMATH DE number 1223544 (Why is no real title available?)	1999-02-18	Paper
scientific article; zbMATH DE number 1088032 (Why is no real title available?)	1998-06-14	Paper

Research outcomes over time

This page was built for person: Slim Abdennadher