Slim Abdennadher
From MaRDI portal
Person:1300289
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?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2019-04-24 | Paper |
| Automatic generation of rule-based constraint solvers over finite domains xxxACM Transactions on Computational Logic j=[ACM Transactions on Computational Logic] a=[ ] j-bytes=[65,67,77,32,84,114,97,110,115,97,99,116,105,111,110,115,32,111,110,32,67,111,109,112,117,116,97,116,105,111,110,97,108,32,76,111,103,105,99] | 2017-07-12 | Paper |
| Combining forward and backward propagation xxxFrontiers of Combining Systems j=[Frontiers of Combining Systems] a=[ ] j-bytes=[70,114,111,110,116,105,101,114,115,32,111,102,32,67,111,109,98,105,110,105,110,103,32,83,121,115,116,101,109,115] | 2017-02-27 | Paper |
| CHR in action xxxLogic-Based Program Synthesis and Transformation j=[Logic-Based Program Synthesis and Transformation] a=[ ] j-bytes=[76,111,103,105,99,45,66,97,115,101,100,32,80,114,111,103,114,97,109,32,83,121,110,116,104,101,115,105,115,32,97,110,100,32,84,114,97,110,115,102,111,114,109,97,116,105,111,110] | 2016-02-05 | Paper |
| Exhaustive Execution of CHR Through Source-to-Source Transformation xxxLogic-Based Program Synthesis and Transformation j=[Logic-Based Program Synthesis and Transformation] a=[ ] j-bytes=[76,111,103,105,99,45,66,97,115,101,100,32,80,114,111,103,114,97,109,32,83,121,110,116,104,101,115,105,115,32,97,110,100,32,84,114,97,110,115,102,111,114,109,97,116,105,111,110] | 2015-10-02 | Paper |
| Visualization of CHR through source-to-source transformation xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2014-02-25 | Paper |
| Constraint solver synthesis using tabled resolution for constraint logic programming xxxLogic Based Program Synthesis and Transformation j=[Logic Based Program Synthesis and Transformation] a=[ ] j-bytes=[76,111,103,105,99,32,66,97,115,101,100,32,80,114,111,103,114,97,109,32,83,121,110,116,104,101,115,105,115,32,97,110,100,32,84,114,97,110,115,102,111,114,109,97,116,105,111,110] | 2011-03-04 | Paper |
| Constraint reasoning with uncertain data using CDF-intervals xxxIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems j=[Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems] a=[ ] j-bytes=[73,110,116,101,103,114,97,116,105,111,110,32,111,102,32,65,73,32,97,110,100,32,79,82,32,84,101,99,104,110,105,113,117,101,115,32,105,110,32,67,111,110,115,116,114,97,105,110,116,32,80,114,111,103,114,97,109,109,105,110,103,32,102,111,114,32,67,111,109,98,105,110,97,116,111,114,105,97,108,32,79,112,116,105,109,105,122,97,116,105,111,110,32,80,114,111,98,108,101,109,115] | 2010-06-22 | Paper |
| Constructing Rule-Based Solvers for Intentionally-Defined Constraints xxxConstraint Handling Rules j=[Constraint Handling Rules] a=[ ] j-bytes=[67,111,110,115,116,114,97,105,110,116,32,72,97,110,100,108,105,110,103,32,82,117,108,101,115] | 2009-03-26 | Paper |
| Generation of Rule-Based Constraint Solvers: Combined Approach xxxLogic-Based Program Synthesis and Transformation j=[Logic-Based Program Synthesis and Transformation] a=[ ] j-bytes=[76,111,103,105,99,45,66,97,115,101,100,32,80,114,111,103,114,97,109,32,83,121,110,116,104,101,115,105,115,32,97,110,100,32,84,114,97,110,115,102,111,114,109,97,116,105,111,110] | 2009-01-22 | Paper |
| Principles of constraint systems and constraint solvers xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2008-11-21 | Paper |
| Logic Based Program Synthesis and Transformation xxxLecture Notes in Computer Science j=[Lecture Notes in Computer Science] a=[ ] j-bytes=[76,101,99,116,117,114,101,32,78,111,116,101,115,32,105,110,32,67,111,109,112,117,116,101,114,32,83,99,105,101,110,99,101] | 2005-12-27 | Paper |
| Automatic generation of CHR constraint solvers xxxTheory and Practice of Logic Programming j=[Theory and Practice of Logic Programming] a=[ ] j-bytes=[84,104,101,111,114,121,32,97,110,100,32,80,114,97,99,116,105,99,101,32,111,102,32,76,111,103,105,99,32,80,114,111,103,114,97,109,109,105,110,103] | 2005-10-18 | Paper |
| scientific article; zbMATH DE number 2086600 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084695 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2080296 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2004-08-04 | Paper |
| The Munich Rent Advisor: A success for logic programming on then Internet xxxTheory and Practice of Logic Programming j=[Theory and Practice of Logic Programming] a=[ ] j-bytes=[84,104,101,111,114,121,32,97,110,100,32,80,114,97,99,116,105,99,101,32,111,102,32,76,111,103,105,99,32,80,114,111,103,114,97,109,109,105,110,103] | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1566503 (Why is no real title available?) xxxCognitive Technologies j=[Cognitive Technologies] a=[ ] j-bytes=[67,111,103,110,105,116,105,118,101,32,84,101,99,104,110,111,108,111,103,105,101,115] | 2001-02-19 | Paper |
| scientific article; zbMATH DE number 1487975 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2001-01-04 | Paper |
| Confluence and semantics of constraint simplification rules xxxConstraints j=[Constraints] a=[ ] j-bytes=[67,111,110,115,116,114,97,105,110,116,115] | 1999-09-07 | Paper |
| scientific article; zbMATH DE number 1223544 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1999-02-18 | Paper |
| scientific article; zbMATH DE number 1088032 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1998-06-14 | Paper |
Research outcomes over time
This page was built for person: Slim Abdennadher
